Simple solver for "x && !x" constraints
Detected in build:
Published in build:
If the solver detects that constraint is of the "x && !x" form it returns UNSAT.
Otherwise it sends the constraint to Fortress.