Add an implication constraint, along the lines of C1 => C2. Whenever the C1 is solved, we try solving C2. It makes sense to have a version where you have a constraint as well for the case that C1 is not satisfiable.

Submitted by Hendrik van Antwerpen on 8 September 2016 at 13:15