Detect clauses that contain the same literal in both a positive and a negative position.  Aggregate clauses that are in the original user model (not just ones that the compiler creates).
Detect clauses that contain the same literal in both a positive and a negative position.  Aggregate clauses that are in the original user model (not just ones that the compiler creates).

jjdekker/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc