?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 4e94cd3) | patch
Reduce consing in flush-to-backend
commitfd81d3c3f97210a3261fbb157cd5d26aa0b9e9a8
authorUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 20:44:40 +0000 (22 22:44 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 22 Jun 2010 20:44:40 +0000 (22 22:44 +0200)
treea4c2071408c13097998f47cb0038df9451525161tree | snapshot (tar.gz zip)
parent4e94cd31b8c41f2d2c2e98d0dad5916ad88dd636commit | diff
Reduce consing in flush-to-backend

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