src/Test/deserializersolveprint.cc

   1 #include "csolver.h"
   2
   3
   4 int main(int argc, char ** argv){
   5         if(argc < 2){
   6                 printf("You should specify file names ...");
   7                 exit(-1);
   8         }
   9         for(int i = 1; i < argc; i++) {
  10                 CSolver* solver = CSolver::deserialize(argv[i]);
  11                 solver->printConstraints();
  12                 int value=solver->solve();
  13                 if (value ==1) {
  14                         printf("%s is SAT\n", argv[i]);
  15                 } else {
  16                         printf("%s is UNSAT\n", argv[i]);
  17                 }
  18                 delete solver;
  19         }
  20         return 1;
  21 }