?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: f240fcd) | patch
Add vector variant for clause-valid method
commit4e94cd31b8c41f2d2c2e98d0dad5916ad88dd636
authorUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 20:44:20 +0000 (22 22:44 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 20:44:20 +0000 (22 22:44 +0200)
tree95d043005b8624bdf7dfdf46d29adfbaddf112fetree | snapshot (tar.gz zip)
parentf240fcde85cf490ca9460683e4f8ad7dabb9ea10commit | diff
Add vector variant for clause-valid method

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