projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4160acc) | patch
qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC.
authorAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 30 Jun 2020 05:47:03 +0000 (05:47 +0000)
committerAlberto Gonzalez <boqwxp@airmail.cc>
Tue, 30 Jun 2020 06:44:17 +0000 (06:44 +0000)
commit83c595aaacb9617aa00439626f2ea5bf9777c7e9
tree51458320e02471c7ddc3a163a59f12fdb0df7a77tree
parent4160acc0b19532d50435abbc66bd2f6aab9473b6commit | diff
qbfsat: Add `-O[012]` options to control pre-solving simplification with ABC.

Thanks to @mwk for the gate mapping part of the ABC scripts.

Co-Authored-By: Marcelina Kościelnicka <mwk@0x04.net>
passes/sat/qbfsat.cc diff | blob | history