Alberto Gonzalez c26a8d1ee0 glift: Use `qbfsat -O2` instead of manually calling `abc`.		2020-07-01 19:51:47 +00:00
..
glift	glift: Use `qbfsat -O2` instead of manually calling `abc`.	2020-07-01 19:51:47 +00:00
.gitignore	…
Makefile	glift: Add examples, including a number of benchmarks used in some academic works.	2020-07-01 19:51:46 +00:00
demo1.v	…
demo2.v	…
demo3.smtc	…
demo3.v	…
demo4.smtc	…
demo4.v	…
demo5.v	…
demo6.v	…
demo7.v	…
demo8.v	…
demo9.v	…