repo.or.cz / cl-satwrap.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: fcbbade) | patch
Fix NNF generation if explicit :ATOMs are used
authorUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 15:20:32 +0000 (17:20 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 15:20:32 +0000 (17:20 +0200)
commit734fdd15f2b6d25a2b28df5b616d898e776a17c2
treee0ffe45f12e253ea59b7a1d2dd27a890ac1f9554tree | snapshot (tar.gz zip)
parentfcbbade0f3e3186315a32c602e6a0cd432363854commit | diff
Fix NNF generation if explicit :ATOMs are used

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
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