iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Various changes.	Alan Mishchenko	2021-10-06	1	-38/+55
*	Various changes.	Alan Mishchenko	2021-09-30	1	-0/+72
*	Upgrading choice computation.	Alan Mishchenko	2021-07-31	1	-1/+2
*	Adding generation of combinational speculative miters.	Alan Mishchenko	2020-12-16	1	-4/+13
*	Passing conflict limit to &cec.	Alan Mishchenko	2020-11-22	1	-1/+2
*	Removing unused printouts.	Alan Mishchenko	2020-11-22	1	-2/+1
*	Integration with several commands.	Alan Mishchenko	2020-11-19	1	-0/+44
*	Improvements to the SAT sweeper.	Alan Mishchenko	2020-11-16	1	-12/+52
*	Extending sweeper to handle XORs.	Alan Mishchenko	2020-11-16	1	-17/+43
*	Extending sweeper to handle XORs.	Alan Mishchenko	2020-11-15	1	-36/+123
*	Improvements to the SAT sweeper (bug fix).	Alan Mishchenko	2020-11-15	1	-1/+1
*	Sweeping up to a given level (bug fix).	Alan Mishchenko	2020-11-15	1	-2/+2
*	Sweeping up to a given level.	Alan Mishchenko	2020-11-14	1	-1/+5
*	Improvements to the SAT solver.	Alan Mishchenko	2020-11-14	1	-3/+3
*	Improvements to the SAT sweeper (bug fix).	Alan Mishchenko	2020-11-14	1	-0/+1
*	Improvements to the SAT sweeper.	Alan Mishchenko	2020-11-14	1	-49/+76
*	Upgrading the SAT solvers.	Alan Mishchenko	2020-11-14	1	-5/+7
*	Improvements to the SAT sweeper.	Alan Mishchenko	2020-11-13	1	-161/+366
*	Adding and integrating new SAT solver APIs.	Alan Mishchenko	2020-11-13	1	-30/+72
*	Duplicating Glucose package.	Alan Mishchenko	2020-11-12	1	-33/+69
*	Experiments with SAT sweeping.	Alan Mishchenko	2020-11-11	1	-30/+43
*	Experiments with SAT sweeping.	Alan Mishchenko	2020-11-10	1	-67/+209
*	Experiments with SAT sweeping.	Alan Mishchenko	2020-11-09	1	-0/+1153