?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: e08123c) | patch
Import minisat2-070721
commitdf48dcf5b984989e41178ea110f7b24f5a342424
authorUtz-Uwe Haus <lisp@uuhaus.de>
Wed, 2 Jun 2010 08:23:54 +0000 (2 10:23 +0200)
committerUtz-Uwe Haus <lisp@uuhaus.de>
Wed, 2 Jun 2010 08:45:44 +0000 (2 10:45 +0200)
treec461a5be67ed5604128edbd3c138d7f5b5968f37tree | snapshot (tar.gz zip)
parente08123cb24e7f8665ca7a1f3bf03f46bafb284e4commit | diff
Import minisat2-070721

Signed-off-by: Utz-Uwe Haus <lisp@uuhaus.de>
20 files changed:
backends/minisat/LICENSE [new file with mode: 0644] blob
backends/minisat/README [new file with mode: 0644] blob
backends/minisat/core/Main.C [new file with mode: 0644] blob
backends/minisat/core/Makefile [new file with mode: 0644] blob
backends/minisat/core/Solver.C [new file with mode: 0644] blob
backends/minisat/core/Solver.h [new file with mode: 0644] blob
backends/minisat/core/SolverTypes.h [new file with mode: 0644] blob
backends/minisat/mtl/Alg.h [new file with mode: 0644] blob
backends/minisat/mtl/BasicHeap.h [new file with mode: 0644] blob
backends/minisat/mtl/BoxedVec.h [new file with mode: 0644] blob
backends/minisat/mtl/Heap.h [new file with mode: 0644] blob
backends/minisat/mtl/Map.h [new file with mode: 0644] blob
backends/minisat/mtl/Queue.h [new file with mode: 0644] blob
backends/minisat/mtl/Sort.h [new file with mode: 0644] blob
backends/minisat/mtl/Vec.h [new file with mode: 0644] blob
backends/minisat/mtl/template.mk [new file with mode: 0644] blob
backends/minisat/simp/Main.C [new file with mode: 0644] blob
backends/minisat/simp/Makefile [new file with mode: 0644] blob
backends/minisat/simp/SimpSolver.C [new file with mode: 0644] blob
backends/minisat/simp/SimpSolver.h [new file with mode: 0644] blob
Generic SAT solver interface for Common Lisp with exchangeable backends like minisat, precosat or whoever wins next year's satrace