iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Undoing updates to &bmcs to help debugging.	Alan Mishchenko	2017-09-15	1	-20/+268
\|
*	Changes and fixed suggested by Clifford Wolf.	Alan Mishchenko	2017-09-15	1	-2/+2
\|
*	Updates to &bmcs to help debugging.	Alan Mishchenko	2017-09-12	2	-31/+32
\|
*	Experiments with Glucose.	Alan Mishchenko	2017-09-07	1	-1/+1
\|
*	Experiments with Glucose.	Alan Mishchenko	2017-09-07	4	-27/+157
\|
*	Avoid command name collision.	Alan Mishchenko	2017-09-07	1	-2/+2
\|
*	Compiler warnings.	Alan Mishchenko	2017-09-07	1	-1/+1
\|
*	Compiler warnings.	Alan Mishchenko	2017-09-07	3	-16/+19
\|
*	Compiler warnings.	Alan Mishchenko	2017-09-07	3	-7/+7
\|
*	Disabling CNF simplification in &bmcs -g.	Alan Mishchenko	2017-09-07	1	-27/+29
\|
*	Trying to enable CNF simplification in &bmcs -g.	Alan Mishchenko	2017-09-07	3	-34/+61
\|
*	Bug fix: forgot to init the runtime limit in Glucose.	Alan Mishchenko	2017-09-06	1	-0/+1
\|
*	Integrating Glucose into bmc3 -g.	Alan Mishchenko	2017-09-06	4	-0/+19
\|
*	More renaming.	Alan Mishchenko	2017-09-06	1	-5/+5
\|
*	Renaming Glucose namespace to avoid collisions with external solvers.	Alan Mishchenko	2017-09-06	21	-55/+55
\|
*	Integrating Glucose into &bmcs -g.	Alan Mishchenko	2017-09-06	4	-37/+119
\|
*	Adding Glucose 3.0 as a separate package.	Alan Mishchenko	2017-09-06	1	-1/+2
\|
*	Adding Glucose 3.0 as a separate package.	Alan Mishchenko	2017-09-06	1	-0/+6
\|
*	Adding Glucose 3.0 as a separate package.	Alan Mishchenko	2017-09-06	27	-0/+8306