projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2b0f6e2 83c595a)
Merge pull request #2138 from boqwxp/qbfsat-oflag
authorclairexen <claire@symbioticeda.com>
Wed, 1 Jul 2020 14:35:27 +0000 (16:35 +0200)
committerGitHub <noreply@github.com>
Wed, 1 Jul 2020 14:35:27 +0000 (16:35 +0200)
qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC

1  2 
passes/sat/qbfsat.cc patch | diff1 | diff2 | blob | history

diff --cc passes/sat/qbfsat.cc
Simple merge