Text this: Controle dinâmico de infactibilidade para programação não linear