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");
11 CSolver *solver = CSolver::deserialize(argv[1]);
13 solver->setAlloyEncode();
14 int value = solver->solve();
16 printf("%s is SAT\n", argv[1]);
18 printf("%s is UNSAT\n", argv[1]);