iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Integrating Glucose into &qbf.	Alan Mishchenko	2017-10-17	1	-3/+3
*	Integrating Glucose into &qbf.	Alan Mishchenko	2017-10-17	1	-9/+32
*	Standardizing the use of new CNF generator. Adding CNF variable connectivity ...	Alan Mishchenko	2017-02-10	1	-7/+5
*	Improvements to QBF solver; new quantification command &qvar.	Alan Mishchenko	2015-09-18	1	-12/+80
*	Compiler warnings.	Alan Mishchenko	2015-06-24	1	-1/+0
*	New command &genqbf to dump the QBF miter for ind inv computation.	Alan Mishchenko	2015-06-23	1	-1/+122
*	Experiments with SAT-based cube enumeration.	Alan Mishchenko	2015-03-05	1	-3/+3
*	New command &satenum to enumerate SAT assignments of a miter in a naive way.	Alan Mishchenko	2014-10-25	1	-0/+59
*	Adding switch &qbf -q to quantify functional variables.	Alan Mishchenko	2014-10-20	1	-2/+1
*	Adding switch &qbf -q to quantify functional variables.	Alan Mishchenko	2014-10-20	1	-1/+41
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	1	-19/+94
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	1	-10/+25
*	Improved QBF solver.	Alan Mishchenko	2014-10-18	1	-0/+304