+void addConstraintToSATSolver(Constraint *c, IncrementalSolver* satSolver) {
+ VectorConstraint* simplified = simplifyConstraint(c);
+ uint size = getSizeVectorConstraint(simplified);
+ for(uint i=0; i<size; i++) {
+ Constraint *simp=getVectorConstraint(simplified, i);
+ if (simp->type==TRUE)
+ continue;
+ ASSERT(simp->type!=FALSE);
+ dumpConstraint(simp, satSolver);
+ }
+ deleteVectorConstraint(simplified);
+}
+