Alberto Gonzalez c26a8d1ee0 glift: Use `qbfsat -O2` instead of manually calling `abc`.		2020-07-01 19:51:47 +00:00
..
glift	…
.gitignore	…
Makefile	…
demo1.v	…
demo2.v	…
demo3.smtc	…
demo3.v	…
demo4.smtc	…
demo4.v	…
demo5.v	…
demo6.v	…
demo7.v	…
demo8.v	…
demo9.v	…