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         //usleep(20000000);
  11         for (int i = 1; i < argc; i++) {
  12                 CSolver *solver = CSolver::deserialize(argv[i]);
  13                 int value = solver->solve();
  14                 if (value == 1) {
  15                         printf("%s is SAT\n", argv[i]);
  16                 } else {
  17                         printf("%s is UNSAT\n", argv[i]);
  18                 }
  19                 delete solver;
  20         }
  21         return 1;
  22 }