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 }