Alberto Gonzalez c26a8d1ee0 glift: Use `qbfsat -O2` instead of manually calling `abc`.		2020-07-01 19:51:47 +00:00
..
C880.v	…
C880.ys	…
C7552.v	…
C7552.ys	…
alu2.v	…
alu2.ys	…
alu4.v	…
alu4.ys	…
mux2.ys	…
t481.v	…
t481.ys	…
too_large.v	…
too_large.ys	…
ttt2.v	…
ttt2.ys	…
x1.v	…
x1.ys	…