?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: d6164f4) | patch
add-clauses convenience function
commit8b0ab3d30c2a4a24081f4aeb8851da31d7f2c0eb
authorUtz-Uwe Haus <lisp@uuhaus.de>
Thu, 10 Jun 2010 11:42:39 +0000 (10 13:42 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Thu, 10 Jun 2010 11:42:39 +0000 (10 13:42 +0200)
treebc406b09d8ae8e00ad3b17a3821b6b0ad1e2926btree | snapshot (tar.gz zip)
parentd6164f46f1d0c3290d452c494197e7f1e3b1f3adcommit | diff
add-clauses convenience function
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