iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Adding option to dump CNF after preprocessing in &glucose.	Alan Mishchenko	2022-02-02	1	-1/+1
*	Extending sweeper to handle XORs.	Alan Mishchenko	2020-11-15	1	-0/+1
*	Adding and integrating new SAT solver APIs.	Alan Mishchenko	2020-11-13	1	-0/+6
*	Adding Glucose API to return a CEX.	Alan Mishchenko	2020-11-12	1	-0/+1
*	C++ comaptibility: add namespace support to Glucose	Baruch Sterin	2017-11-23	1	-2/+2
*	Profiling quantification and other changes.	Alan Mishchenko	2017-11-06	1	-1/+2
*	Integrating Glucose into &qbf.	Alan Mishchenko	2017-10-17	1	-1/+1
*	Improvements to SAT based SOP computation.	Alan Mishchenko	2017-10-06	1	-1/+1
*	Experiments with SAT-based quantification.	Alan Mishchenko	2017-10-04	1	-0/+2
*	Experiments with SAT-based quantification.	Alan Mishchenko	2017-10-04	1	-0/+2
*	Enabling Glucose in SAT sweeping: &fraig -g.	Alan Mishchenko	2017-09-18	1	-0/+6
*	Enabling variable elim in &bmcs -g.	Alan Mishchenko	2017-09-16	1	-0/+2
*	Trying to enable CNF simplification in &bmcs -g.	Alan Mishchenko	2017-09-07	1	-7/+11
*	Integrating Glucose into bmc3 -g.	Alan Mishchenko	2017-09-06	1	-0/+2
*	Integrating Glucose into &bmcs -g.	Alan Mishchenko	2017-09-06	1	-11/+26
*	Adding Glucose 3.0 as a separate package.	Alan Mishchenko	2017-09-06	1	-0/+76