?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: a0f1672) | patch
Fix assumption handling in precosat backend
commitc5ce96fbff0fc7d0cc067e897496d46339d4b2d6
authorUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 15 Jun 2010 15:02:08 +0000 (15 17:02 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Tue, 15 Jun 2010 15:02:08 +0000 (15 17:02 +0200)
treecaacf6d9b03a4b6854a7eeef1526117d31dcfd3etree | snapshot (tar.gz zip)
parenta0f16720a7ec4c5e70beb445180f2fb73adebc26commit | diff
Fix assumption handling in precosat backend

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
backends/precosat/precosat-cffi.i diff | blob | blame | history
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace