Doug Gregor 7519d83007 [Constraint solver] Start lazily building relational constraints. ...

Start migrating the main ConstraintSolver::addConstraint() entrypoint
for relational constraints over to the model where it simplifies
first, then only creates a new constraint if the constraint it built
cannot be solved. This covers only the main relational
constraints--there are a number of other relational constraint kinds
to handle this way.

2016-10-21 14:03:56 -07:00

156 KiB

Raw Blame History

View Raw