SolverAdd ignores certain constraints

Printable View