+
+void startEncoding(CSolver* solver){
+ naiveEncodingDecision(solver);
+ SATEncoder* satEncoder = allocSATEncoder();
+ encodeAllSATEncoder(solver, satEncoder);
+ int result= solveCNF(satEncoder->cnf);
+ model_print("sat_solver's result:%d\n", result);
+ //For now, let's just delete it, and in future for doing queries
+ //we may need it.
+ deleteSATEncoder(satEncoder);
+}