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         for (int i = 1; i < argc; i++) {
  11                 CSolver *solver = CSolver::deserialize(argv[i]);
  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 }