Turn off more things when disabling simplify.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1562 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/STPManager/UserDefinedFlags.h b/src/STPManager/UserDefinedFlags.h
index 957f7aa1bb06d6be5b2d707a010a5c82f878b69a..1c7350be2a030da952174dcd24f28be5fa636263 100644 (file)
--- a/src/STPManager/UserDefinedFlags.h
+++ b/src/STPManager/UserDefinedFlags.h
@@ -156,6 +156,11 @@ namespace BEEV
       bitConstantProp_flag = false;
       set("enable-unconstrained","0");
       set("use-intervals","0");
+      set("pure-literals","0");
+      set("simple-cnf","1");
+      set("always_true","0");
+          set("bitblast-simplification","0");
+
       wordlevel_solve_flag = false;
       propagate_equalities = false;
     }