?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 734fdd1) | patch
Avoid double mapping from symbolic literals to variables in CNF creation
commita4db34804749d120a5e93fa8c07e17294dc22279
authorUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 15:21:43 +0000 (22 17:21 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 15:21:43 +0000 (22 17:21 +0200)
treef48503abf8d1ef6bb3ab5d1c3bdd9d8ffcbeb732tree | snapshot (tar.gz zip)
parent734fdd15f2b6d25a2b28df5b616d898e776a17c2commit | diff
Avoid double mapping from symbolic literals to variables in CNF creation

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