diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-30 05:47:03 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-06-30 06:44:17 +0000 |
| commit | 83c595aaacb9617aa00439626f2ea5bf9777c7e9 (patch) | |
| tree | 51458320e02471c7ddc3a163a59f12fdb0df7a77 /tests | |
| parent | 4160acc0b19532d50435abbc66bd2f6aab9473b6 (diff) | |
| download | yosys-83c595aaacb9617aa00439626f2ea5bf9777c7e9.tar.gz yosys-83c595aaacb9617aa00439626f2ea5bf9777c7e9.tar.bz2 yosys-83c595aaacb9617aa00439626f2ea5bf9777c7e9.zip | |
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>
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions