iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵	Alan Mishchenko	2019-03-05	1	-1/+1
\| \| \| \|	memcpy, etc.
*	Fix wrong type cast.	Mathias Soeken	2017-03-06	1	-1/+1
\|
*	Movinng custom floating-point implementations, etc.	Alan Mishchenko	2017-02-11	2	-453/+0
\|
*	Platform-independent double.	Alan Mishchenko	2017-02-11	2	-1/+226
\|
*	Reordering if-statements in the xsat solver.	Alan Mishchenko	2017-02-02	1	-5/+3
\|
*	Custom floating-point number.	Alan Mishchenko	2017-01-28	1	-0/+15
\|
*	Custom floating-point number.	Alan Mishchenko	2017-01-28	1	-0/+213
\|
*	Fixing windows compilation problem.	Alan Mishchenko	2017-01-24	3	-3/+4
\|
*	Fixing gcc compilation problem.	Alan Mishchenko	2017-01-24	1	-2/+2
\|
*	Fixes to make xSAT compile with old compilers.	Bruno Schmitt	2016-12-13	8	-136/+119
\| \| \| \|	Small typos and variables renaming.
*	Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.	Alan Mishchenko	2016-12-13	2	-4/+3
\|
*	Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.	Alan Mishchenko	2016-12-13	7	-109/+137
\|
*	xSAT is an experimental SAT Solver based on Glucose v3(see Glucose ↵	Bruno Schmitt	2016-12-12	13	-0/+3151
	copyrights below) and ABC C version of MiniSat (bsat) developed by Niklas Sorensson and modified by Alan Mishchenko. It’s development has reached sufficient maturity to be committed in ABC, but still in a beta state. TODO: * Read compressed CNF files. * Study the use of floating point for variables and clauses activity. * Better documentation. * Improve verbose messages. * Expose parameters for tuning.