iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Adding new switch to &genqfb to use output as an enable in the miter.	Alan Mishchenko	2019-07-30	1	-3/+14
\|
*	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
\| \| \| \|	information.
*	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