4 InterpreterType getInterpreterType(char *itype) {
5 if (strcmp (itype,"--alloy") == 0) {
7 } else if (strcmp (itype,"--z3") == 0) {
9 } else if (strcmp (itype,"--smtrat") == 0) {
11 } else if (strcmp (itype,"--mathsat") == 0) {
14 printf("Unknown interpreter type: %s\n", itype);
15 printf("./run.sh deserializer test.dump [--alloy/--z3/--smtrat/--mathsat]\n");
20 int main(int argc, char **argv) {
22 if (argc < 2 && argc > 4) {
23 printf("You only specify the name of the file ...\n");
24 printf("./run.sh deserializer test.dump [--alloy/--z3/--smtrat/--mathsat] [timeout]\n");
29 solver = CSolver::deserialize(argv[1], getInterpreterType(argv[2]));
31 solver->setSatSolverTimeout(atol(argv[3]));
34 solver = CSolver::deserialize(argv[1]);
36 int value = solver->solve();
38 printf("%s is SAT\n", argv[1]);
40 printf("%s is UNSAT\n", argv[1]);