iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Improvements to SAT based SOP computation.	Alan Mishchenko	2017-10-06	2	-24/+33
*	Experiments with SAT-based quantification.	Alan Mishchenko	2017-10-04	2	-8/+77
*	Experiments with SAT-based quantification.	Alan Mishchenko	2017-10-04	2	-26/+212
*	Addressing recently reported Bitbucket Issue #72 and #73.	Alan Mishchenko	2017-10-03	1	-1/+1
*	Fixing minimize_assuptions using Glucose.	Alan Mishchenko	2017-10-02	1	-53/+70
*	Enabling Glucose in SAT sweeping: &fraig -g.	Alan Mishchenko	2017-09-18	2	-0/+16
*	Changes to Glucose to enable resetting the solver.	Alan Mishchenko	2017-09-18	5	-0/+87
*	Compiler warning.	Alan Mishchenko	2017-09-16	1	-1/+1
*	Enabling variable elim in &bmcs -g.	Alan Mishchenko	2017-09-16	4	-7/+41
*	Adding support for Dimacs input to &satoko.	Alan Mishchenko	2017-09-16	1	-3/+3
*	Improvements in Glucose integration.	Alan Mishchenko	2017-09-16	1	-1/+1
*	Bug fix in Glucose integration.	Alan Mishchenko	2017-09-16	4	-27/+78
*	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