Public Git Hosting - cl-satwrap.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: f7b3718) | patch

commit	fcbbade0f3e3186315a32c602e6a0cd432363854
author	Utz-Uwe Haus <lisp@uuhaus.de>
	Tue, 22 Jun 2010 08:45:30 +0000 (22 10:45 +0200)
committer	Utz-Uwe Haus <lisp@uuhaus.de>
	Tue, 22 Jun 2010 08:45:30 +0000 (22 10:45 +0200)
tree	3ab991e00ca2d2f109aca03a54a98fe27f27138a	tree \| snapshot (tar.gz zip)
parent	f7b3718286f69e1453ff563f8e6cccab8501afa0	commit \| diff

fix add-formula to drop :AND and :OR-symbols before adding clauses

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>

diff | blob | blame | history

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