diff options
Diffstat (limited to 'src/prop/options')
| -rw-r--r-- | src/prop/options | 2 |
1 files changed, 1 insertions, 1 deletions
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 |