?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 29f2eef) | patch
Import PicoSAT-965picosat-backend
commitdd720434d4fc579d1f2a7b07d8f66bcafa039a80
authorUtz-Uwe Haus <lisp@uuhaus.de>
Mon, 30 May 2016 11:05:06 +0000 (30 13:05 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Mon, 30 May 2016 11:17:50 +0000 (30 13:17 +0200)
treefef83f142b82f07248324ff46edeb5f4e1e4f7a3tree | snapshot (tar.gz zip)
parent29f2eef28b5b4a4a812e569476e821a488c92d17commit | diff
Import PicoSAT-965

from http://fmv.jku.at/picosat/

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
14 files changed:
backends/picosat/LICENSE diff | blob | blame | history
backends/picosat/NEWS diff | blob | blame | history
backends/picosat/README diff | blob | blame | history
backends/picosat/VERSION diff | blob | blame | history
backends/picosat/app.c diff | blob | blame | history
backends/picosat/configure.sh [new file with mode: 0755] blob
backends/picosat/main.c diff | blob | blame | history
backends/picosat/makefile.in diff | blob | blame | history
backends/picosat/mkconfig.sh [new file with mode: 0755] blob
backends/picosat/picogcnf.c [new file with mode: 0644] blob
backends/picosat/picomcs.c [new file with mode: 0644] blob
backends/picosat/picomus.c [new file with mode: 0644] blob
backends/picosat/picosat.c diff | blob | blame | history
backends/picosat/picosat.h diff | blob | blame | history
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace