src/Test/deserializersolvetest.cc

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