diff options
| author | clairexen <claire@symbioticeda.com> | 2020-07-01 16:35:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-01 16:35:27 +0200 |
| commit | b1707407a0912fe44ecf83f6f8e64b13a1c4daee (patch) | |
| tree | d1408b0745e1d552a9e27edf58468c89515ca04e /misc/yosys.proto | |
| parent | 2b0f6e24e24770b6bab2180bb2c6cc560eb8ec5a (diff) | |
| parent | 83c595aaacb9617aa00439626f2ea5bf9777c7e9 (diff) | |
| download | yosys-b1707407a0912fe44ecf83f6f8e64b13a1c4daee.tar.gz yosys-b1707407a0912fe44ecf83f6f8e64b13a1c4daee.tar.bz2 yosys-b1707407a0912fe44ecf83f6f8e64b13a1c4daee.zip | |
Merge pull request #2138 from boqwxp/qbfsat-oflag
qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC
Diffstat (limited to 'misc/yosys.proto')
0 files changed, 0 insertions, 0 deletions