Merge
[satune.git] / 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 }