diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-29 04:41:18 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-07-20 21:54:56 +0000 |
| commit | 2f786fcfacfadfba7b4080a8016c7efa3ac4bd13 (patch) | |
| tree | 0190b951e378818cc52ebf47c3836839149c6007 /passes/sat/qbfsat.h | |
| parent | f0379853371bfcf9217c3c0de15b3927b6f09e44 (diff) | |
| download | yosys-2f786fcfacfadfba7b4080a8016c7efa3ac4bd13.tar.gz yosys-2f786fcfacfadfba7b4080a8016c7efa3ac4bd13.tar.bz2 yosys-2f786fcfacfadfba7b4080a8016c7efa3ac4bd13.zip | |
qbfsat: Add `-solver-option` option.
Diffstat (limited to 'passes/sat/qbfsat.h')
| -rw-r--r-- | passes/sat/qbfsat.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/sat/qbfsat.h b/passes/sat/qbfsat.h index 401f9c7a6..c96c6f818 100644 --- a/passes/sat/qbfsat.h +++ b/passes/sat/qbfsat.h @@ -31,6 +31,7 @@ struct QbfSolveOptions { bool nobisection = false, sat = false, unsat = false, show_smtbmc = false; enum Solver{Z3, Yices, CVC4} solver = Yices; enum OptimizationLevel{O0, O1, O2} oflag = O0; + dict<std::string, std::string> solver_options; int timeout = 0; std::string specialize_soln_file = ""; std::string write_soln_soln_file = ""; |