void startEncoding(CSolver* solver){
naiveEncodingDecision(solver);
SATEncoder* satEncoder = allocSATEncoder();
- satEncoder->satSolver =allocIncrementalSolver();
encodeAllSATEncoder(solver, satEncoder);
finishedClauses(satEncoder->satSolver);
int result= solve(satEncoder->satSolver);
//For now, let's just delete it, and in future for doing queries
//we may need it.
deleteSATEncoder(satEncoder);
-}
\ No newline at end of file
+}