Public Git Hosting - cl-satwrap.git/search

2011-05-09	Utz-Uwe Haus	fixes for package name confusion in swig-lispify Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-22	Utz-Uwe Haus	Reduce consing in flush-to-backend Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-22	Utz-Uwe Haus	Add vector variant for clause-valid method Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-22	Utz-Uwe Haus	Reduce consing and recursion in split-delimited-string Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-22	Utz-Uwe Haus	Allow assumptions to be lists or vectors in backend Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-22	Utz-Uwe Haus	Avoid double mapping from symbolic literals to variables... Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-22	Utz-Uwe Haus	Fix NNF generation if explicit :ATOMs are used Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-22	Utz-Uwe Haus	fix add-formula to drop :AND and :OR-symbols before... Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-22	Utz-Uwe Haus	Fix macro expansion time confusion in with-index-hash Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-17	Utz-Uwe Haus	remove debugging output and ensure empty clauses are... Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-17	Utz-Uwe Haus	Fix call to minisat solve() Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-17	Utz-Uwe Haus	Fix non-cnf formula addition interface Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-16	Utz-Uwe Haus	Fix with-sat-solver macro to correctly reference *default... Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-15	Utz-Uwe Haus	(minisat backend ) Return number of queued assumptions... Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-15	Utz-Uwe Haus	Also build minisat backend Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-15	Utz-Uwe Haus	Fix assumption handling in precosat backend Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-10	Utz-Uwe Haus	Add CNF builder convenience functions Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-10	Utz-Uwe Haus	add-clauses convenience function	commit \| commitdiff \| tree
2010-06-03	Utz-Uwe Haus	New method synchronize-backend to allow incremental... Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-02	Utz-Uwe Haus	Add minisat backend to lisp code, make it the default Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
2010-06-02	Utz-Uwe Haus	Minimalistic minisat header and SWIG integration Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>	commit \| commitdiff \| tree
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