src/Test/deserializersolvetest.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                 int value=solver->solve();
  12                 if (value ==1) {
  13                         printf("%s is SAT\n", argv[i]);
  14                 } else {
  15                         printf("%s is UNSAT\n", argv[i]);
  16                 }
  17                 delete solver;
  18         }
  19         return 1;
  20 }