src/Test/deserializersolveprintopt.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
  19                 delete solver;
  20         }
  21         return 1;
  22 }