Public Git Hosting - cl-satwrap.git/search

2010-06-02	Utz-Uwe Haus	Autotools setup for minisat Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-02	Utz-Uwe Haus	Fix first line in dimacs format export Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-02	Utz-Uwe Haus	Import minisat2-070721 Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-01	Utz-Uwe Haus	Really fix memory issue: Precosat Solver->reset() was... Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-01	Utz-Uwe Haus	Fix with-index-hash Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-01	Utz-Uwe Haus	Properly dispose of precosat objects. Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>	commit \| commitdiff \| tree
2010-06-01	Utz-Uwe Haus	Add get-essential-variables implementation. Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-01	Utz-Uwe Haus	Add with-sat-solver and with-index-hash macros. Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>	commit \| commitdiff \| tree
2010-06-01	Utz-Uwe Haus	Add dimacs reader/writer Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>	commit \| commitdiff \| tree
2010-06-01	Utz-Uwe Haus	Proper garbage collection of foreign objects using... Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>	commit \| commitdiff \| tree
2010-06-01	Utz-Uwe Haus	SWIG wrapper layer and .i file for precosat, minimalistic... Signed-off-by: Utz-Uwe Haus <haus@uuhaus.de>	commit \| commitdiff \| tree
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

RSS Atom