disable MT in Z3

lip6 · May 5, 2024 · 8bd4d34 · 8bd4d34
1 parent 502769b
commit 8bd4d34
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/smt/lip6.smtlib.SMT/src/org/smtlib/solvers/Solver_z3_4_3.java b/smt/lip6.smtlib.SMT/src/org/smtlib/solvers/Solver_z3_4_3.java
@@ -61,8 +61,9 @@ public class Solver_z3_4_3 extends AbstractSolver implements ISolver {
 	protected String cmds[];
 	protected String cmds_win[] = new String[]{ "", "/smt2","/in","SMTLIB2_COMPLIANT=true"}; 
 	protected String cmds_mac[] = new String[]{ "", "-smt2","-in","SMTLIB2_COMPLIANT=true"}; 
-	protected String cmds_unix[] = new String[]{ "", "parallel.enable=true", "parallel.threads.max=4", "-smt2","-in"}; 
-
+	//protected String cmds_unix[] = new String[]{ "", "parallel.enable=true", "parallel.threads.max=4", "-smt2","-in"}; 
+	protected String cmds_unix[] = new String[]{ "", "-smt2","-in"};
+
 	/** The object that interacts with external processes */
 	protected SolverProcess solverProcess;