Alberto Gonzalez c26a8d1ee0 glift: Use `qbfsat -O2` instead of manually calling `abc`.		2020-07-01 19:51:47 +00:00
..
C880.v	glift: Add examples, including a number of benchmarks used in some academic works.	2020-07-01 19:51:46 +00:00
C880.ys	glift: Use `qbfsat -O2` instead of manually calling `abc`.	2020-07-01 19:51:47 +00:00
C7552.v	glift: Add examples, including a number of benchmarks used in some academic works.	2020-07-01 19:51:46 +00:00
C7552.ys	glift: Use `qbfsat -O2` instead of manually calling `abc`.	2020-07-01 19:51:47 +00:00
alu2.v	glift: Add examples, including a number of benchmarks used in some academic works.	2020-07-01 19:51:46 +00:00
alu2.ys	glift: Use `qbfsat -O2` instead of manually calling `abc`.	2020-07-01 19:51:47 +00:00
alu4.v	glift: Add examples, including a number of benchmarks used in some academic works.	2020-07-01 19:51:46 +00:00
alu4.ys	glift: Use `qbfsat -O2` instead of manually calling `abc`.	2020-07-01 19:51:47 +00:00
mux2.ys	glift: Change command names to better represent their functions.	2020-07-01 19:51:46 +00:00
t481.v	glift: Add examples, including a number of benchmarks used in some academic works.	2020-07-01 19:51:46 +00:00
t481.ys	glift: Use `qbfsat -O2` instead of manually calling `abc`.	2020-07-01 19:51:47 +00:00
too_large.v	glift: Add examples, including a number of benchmarks used in some academic works.	2020-07-01 19:51:46 +00:00
too_large.ys	glift: Use `qbfsat -O2` instead of manually calling `abc`.	2020-07-01 19:51:47 +00:00
ttt2.v	glift: Add examples, including a number of benchmarks used in some academic works.	2020-07-01 19:51:46 +00:00
ttt2.ys	glift: Use `qbfsat -O2` instead of manually calling `abc`.	2020-07-01 19:51:47 +00:00
x1.v	glift: Add examples, including a number of benchmarks used in some academic works.	2020-07-01 19:51:46 +00:00
x1.ys	glift: Use `qbfsat -O2` instead of manually calling `abc`.	2020-07-01 19:51:47 +00:00