projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33de059) | patch
Importing MiniSat2 070721 into trunk
authorChristopher L. Conway <christopherleeconway@gmail.com>
Fri, 13 Aug 2010 17:22:46 +0000 (17:22 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Fri, 13 Aug 2010 17:22:46 +0000 (17:22 +0000)
commitf2ab48d27a62791d4db46ab00c27041410965d2d
tree3d0a2aa7f067fe566f2c71f8ee6388e06052def0tree
parent33de059bee5f6814615a88a7c13d819820430f25commit | diff
Importing MiniSat2 070721 into trunk
20 files changed:
src/prop/minisat/LICENSE [new file with mode: 0644] blob
src/prop/minisat/README [new file with mode: 0644] blob
src/prop/minisat/core/Main.C [new file with mode: 0644] blob
src/prop/minisat/core/Makefile [new file with mode: 0644] blob
src/prop/minisat/core/Solver.C [new file with mode: 0644] blob
src/prop/minisat/core/Solver.h [new file with mode: 0644] blob
src/prop/minisat/core/SolverTypes.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Alg.h [new file with mode: 0644] blob
src/prop/minisat/mtl/BasicHeap.h [new file with mode: 0644] blob
src/prop/minisat/mtl/BoxedVec.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Heap.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Map.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Queue.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Sort.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Vec.h [new file with mode: 0644] blob
src/prop/minisat/mtl/template.mk [new file with mode: 0644] blob
src/prop/minisat/simp/Main.C [new file with mode: 0644] blob
src/prop/minisat/simp/Makefile [new file with mode: 0644] blob
src/prop/minisat/simp/SimpSolver.C [new file with mode: 0644] blob
src/prop/minisat/simp/SimpSolver.h [new file with mode: 0644] blob