src/Test/deserializertest.cc

   1 #include "csolver.h"
   2
   3
   4 int main(int argc, char **argv) {
   5         if (argc != 2) {
   6                 printf("You only specify the name of the file ...");
   7                 exit(-1);
   8         }
   9         CSolver *solver = CSolver::deserialize(argv[1]);
  10         solver->printConstraints();
  11         delete solver;
  12         return 1;
  13
  14 }