disentailed

verb

1. (form-of, participle, past)simple past and past participle of disentail

adj

1. (not-comparable)In constraint programming: inconsistent with the set of constraints.

   “An instantiation property is true if it is entailed, and false if it is disentailed.”

   “If it is disentailed, the clause is deleted, and the next clause is tried.”

   “Similarly, a disentailed constraint is guaranteed to be unsatisified.”