Add simple implication constraint
Add an implication constraint, along the lines ofSubmitted by Hendrik van Antwerpen on 8 September 2016 at 13:15
C1 => C2. Whenever the
C1is solved, we try solving
C2. It makes sense to have a version where you have a constraint as well for the case that
C1is not satisfiable.
Log in to post comments