repo.or.cz / cl-satwrap.git / commit
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
(parent: bba7695) | patch
remove debugging output and ensure empty clauses are deleted from CNFs
authorUtz-Uwe Haus <lisp@uuhaus.de>
Thu, 17 Jun 2010 23:26:44 +0000 (01:26 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Thu, 17 Jun 2010 23:26:44 +0000 (01:26 +0200)
commitb93205ceb9c175369e41bc2598a2304a79d90642
tree1467e876b2ba769ac6b99fffe970b0ef10a3d3d8tree | snapshot (tar.gz zip)
parentbba7695d091f711f840657ea3d00216f35c3a096commit | diff
remove debugging output and ensure empty clauses are deleted from CNFs

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