iCE40/abc - [no description]

	Commit message (Collapse)	Author	Age	Files	Lines
*	xSAT is an experimental SAT Solver based on Glucose v3(see Glucose ↵	Bruno Schmitt	2016-12-12	1	-0/+39
	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.