7 Commits

Author	SHA1	Message	Date
Clifford Wolf	b1b8fe3a56	Switched to EZMINISAT_SIMPSOLVER as default SAT solver	2014-03-05 19:57:10 +01:00
Clifford Wolf	d500bd749f	Added ezSAT::eliminated API to help the SAT solver remember eliminated variables	2014-03-01 21:00:34 +01:00
Clifford Wolf	dab1612f81	Added support for Minisat::SimpSolver + ezSAT frezze() API	2014-02-23 01:35:59 +01:00
Clifford Wolf	357f3f6e93	Added ezMiniSat EZMINISAT_INCREMENTAL compile-time option	2014-02-22 11:34:31 +01:00
Clifford Wolf	1ec01d8c63	Made MiniSat solver backend configurable in ezminisat.h	2014-02-22 01:29:02 +01:00
Clifford Wolf	8fbb5b6240	Added timout functionality to SAT solver	2013-06-20 12:49:10 +02:00
Clifford Wolf	3371563f2f	Added ezSAT library	2013-06-07 10:38:35 +02:00