diff options
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/minisat/core/Solver.cc | 1 | ||||
| -rw-r--r-- | src/prop/options | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/prop/minisat/core/Solver.cc b/src/prop/minisat/core/Solver.cc index 675bc8f4e..5e19eb776 100644 --- a/src/prop/minisat/core/Solver.cc +++ b/src/prop/minisat/core/Solver.cc @@ -407,6 +407,7 @@ Lit Solver::pickBranchLit() if(stopSearch) { return lit_Undef; } + Debug("propagateAsDecision") << "propagateAsDecision(): decide on another literal" << std::endl; Var next = var_Undef; diff --git a/src/prop/options b/src/prop/options index c3c2674c4..cda99538c 100644 --- a/src/prop/options +++ b/src/prop/options @@ -25,7 +25,7 @@ option satRestartInc --restart-int-inc=F double :default 3.0 :predicate greater_ option sat_refine_conflicts --refine-conflicts bool refine theory conflict clauses -option minisatUseElim --minisat-elimination bool :default true +option minisatUseElim --minisat-elimination bool :default true :read-write use Minisat elimination endmodule |