Doug Gregor daf4610be1 [Constraint solver] Don't remove/reintroduce disjunction when favoring. ...

When favoring particular constraints in a disjunction, don't remove
the old disjunction and create a new one---it's just churn in the
constraint system. Instead, favor the constraints that need it.

This technically flips the SR-139 test case from "too complex" to
being fast enough, but it's still fairly slow.

2019-03-04 20:31:06 -08:00

140 KiB

Raw Blame History

View Raw