diff options
| author | lianah <lianahady@gmail.com> | 2013-04-08 15:31:08 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2013-04-30 15:54:24 -0400 |
| commit | 51d7754cce64a2688e6da536710704c62e61ca1d (patch) | |
| tree | 71874d6de1c2056732edbb8f2332e738274a8a1e /src/prop/options | |
| parent | 2f4162877ad455c8c80f60a9bedf0b779b44ecaa (diff) | |
added support for dumping the SAT problem the sat solver is working on
Diffstat (limited to 'src/prop/options')
| -rw-r--r-- | src/prop/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/prop/options b/src/prop/options index cda99538c..e3a0f814a 100644 --- a/src/prop/options +++ b/src/prop/options @@ -28,4 +28,7 @@ option sat_refine_conflicts --refine-conflicts bool option minisatUseElim --minisat-elimination bool :default true :read-write use Minisat elimination +option minisatDumpDimacs --minisat-dump-dimacs bool :default false + instead of solving minisat dumps the asserted clauses in Dimacs format + endmodule |