Alberto Gonzalez
|
c26a8d1ee0
|
glift: Use qbfsat -O2 instead of manually calling abc.
|
2020-07-01 19:51:47 +00:00 |
|
Alberto Gonzalez
|
bc207d5426
|
glift: Change command names to better represent their functions.
|
2020-07-01 19:51:46 +00:00 |
|
Alberto Gonzalez
|
ddfb9f08e2
|
glift: Add -create-imprecise command, rename other commands, and re-work the help text.
|
2020-07-01 19:51:46 +00:00 |
|
Alberto Gonzalez
|
ca3844d44e
|
glift: Add examples, including a number of benchmarks used in some academic works.
|
2020-07-01 19:51:46 +00:00 |
|