4 int main(int argc, char **argv) {
6 if (argc != 2 && argc != 3) {
7 printf("You only specify the name of the file ...\n");
8 printf("./run.sh deserializer test.dump [--alloy]\n");
13 solver = CSolver::deserialize(argv[1], true);
15 solver = CSolver::deserialize(argv[1]);
17 int value = solver->solve();
19 printf("%s is SAT\n", argv[1]);
21 printf("%s is UNSAT\n", argv[1]);