4 int main(int argc, char ** argv){
6 printf("You should specify file names ...");
9 for(int i = 1; i < argc; i++) {
10 CSolver* solver = CSolver::deserialize(argv[i]);
11 int value=solver->solve();
13 printf("%s is SAT\n", argv[i]);
15 printf("%s is UNSAT\n", argv[i]);
17 solver->printConstraints();