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 /backends/smt2 | |
| parent | f0379853371bfcf9217c3c0de15b3927b6f09e44 (diff) | |
| download | yosys-2f786fcfacfadfba7b4080a8016c7efa3ac4bd13.tar.gz yosys-2f786fcfacfadfba7b4080a8016c7efa3ac4bd13.tar.bz2 yosys-2f786fcfacfadfba7b4080a8016c7efa3ac4bd13.zip | |
qbfsat: Add `-solver-option` option.
Diffstat (limited to 'backends/smt2')
0 files changed, 0 insertions, 0 deletions