Public Git Hosting - cl-satwrap.git/search

2010-05-30	Utz-Uwe Haus	Import precosat-465r2-2ce82ba-100514 Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>	commit \| commitdiff \| tree
2010-05-30	Utz-Uwe Haus	Initial layout Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>	commit \| commitdiff \| tree

Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace