iCE40/abc - [no description]

	Commit message (Expand)	Author	Age	Files	Lines
*	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...	Alan Mishchenko	2019-03-05	1	-1/+1
*	Small fix in satoko.	Bruno Schmitt	2018-02-20	1	-1/+0
*	Experiments with SAT-based simulation.	Alan Mishchenko	2018-01-25	1	-0/+1
*	Adding global conflict counter to Satoko (to make it apple-to-apple with othe...	Alan Mishchenko	2017-09-06	1	-0/+1
*	Fixing bronken C++ build; Satoko internal header, solver.h, should not be use...	Bruno Schmitt	2017-08-29	1	-17/+17
*	[Satoko] Correcting bug found when integrating with pdr.	Bruno Schmitt	2017-08-28	1	-18/+69
*	Additional changes to Satoko to enable various integrations.	Alan Mishchenko	2017-08-16	1	-2/+3
*	Renaming several Satoko APIs to avoid collision with MiniSAT.	Alan Mishchenko	2017-08-13	1	-16/+16
*	Adding a callback feature to Satoko.	Alan Mishchenko	2017-08-13	1	-1/+1
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-04-11	1	-1/+1
*	Several bug fixed / small changes in Satoko.	Alan Mishchenko	2017-03-18	1	-1/+1
*	Fix wrong type cast.	Mathias Soeken	2017-03-06	1	-1/+1
*	Adding an procedure to write DIMACS.	Bruno Schmitt	2017-02-28	1	-1/+1
*	Small tweak to rollback behavior.	Bruno Schmitt	2017-02-21	1	-0/+3
*	Experiments with SAT sweeping.	Alan Mishchenko	2017-02-18	1	-0/+1
*	New function to retrieve polarity value of a variable.	Bruno Schmitt	2017-02-18	1	-1/+1
*	Bug fix in analyze_final method.	Bruno Schmitt	2017-02-18	1	-2/+2
*	- Small changes to the watch lists behavior.	Bruno Schmitt	2017-02-15	1	-2/+3
*	- Small bug fix in var activity (improve performance)	Bruno Schmitt	2017-02-14	1	-9/+5
*	Adding APIs to mark cones. Creating test-bench for incremental solving &satok...	Alan Mishchenko	2017-02-11	1	-2/+14
*	- Adding a compile time option to use floats for var activity (now it can be ...	Bruno Schmitt	2017-02-09	1	-7/+8
*	Small changes to compile satoko on Windows.	Alan Mishchenko	2017-02-06	1	-1/+1
*	Small changes to support old compilers.	Bruno Schmitt	2017-02-06	1	-2/+2
*	Adding a new SAT solver to ABC. (Satoko)	Bruno Schmitt	2017-02-06	1	-0/+704