4 commits

Author	SHA1	Message	Date
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