revert the code

hadipourh · Nov 4, 2024 · 48c3f3d · 48c3f3d
1 parent 2db93a6
commit 48c3f3d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/autoguess.py b/autoguess.py
@@ -71,7 +71,7 @@ def load_parameters(args):
         "outputfile": "output",
         "maxguess": 10,
         "maxsteps": 5,
-        "solver": 'groebner',
+        "solver": 'cp',
         "milpdirection": 'min',
         "timelimit": -1,
         "cpsolver": 'or-tools',
@@ -85,7 +85,7 @@ def load_parameters(args):
         "overlapping_number": 2,
         "cnf_to_anf_conversion": 'simple',
         "dglayout": "dot",
-        "log": 1
+        "log": 0
     }
 
     for key in params.keys():