Alberto Gonzalez c26a8d1ee0 glift: Use `qbfsat -O2` instead of manually calling `abc`.		2020-07-01 19:51:47 +00:00
..
aiger	…
anlogic	…
basys3	…
cmos	…
cxx-api	…
gowin	…
igloo2	…
intel	…
mimas2	…
osu035	…
python-api	…
smtbmc	…