repo.or.cz / cl-satwrap.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: a4db348) | patch
Allow assumptions to be lists or vectors in backend
authorUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 20:42:03 +0000 (22:42 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 20:42:03 +0000 (22:42 +0200)
commit73d36d832d14b81cf96b6388a2e832fa830ec542
treec8898978bbc4322f8e608e7f10e6555daf94451dtree | snapshot (tar.gz zip)
parenta4db34804749d120a5e93fa8c07e17294dc22279commit | diff
Allow assumptions to be lists or vectors in backend

Implement vector variant for minisat backend

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
backend.lisp diff | blob | blame | history
backends/minisat/minisat-cffi.i diff | blob | blame | history
satwrap.lisp diff | blob | blame | history
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace