projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 040f00a) | patch
Importing MiniSat2 2.2.0 into trunk
authorChristopher L. Conway <christopherleeconway@gmail.com>
Fri, 13 Aug 2010 17:20:19 +0000 (17:20 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Fri, 13 Aug 2010 17:20:19 +0000 (17:20 +0000)
commitca627b6170a0528b95b94c8de7255eb243d99264
tree3c96c1860b0b143ebd3cb4819e7213d9bcb46d4dtree
parent040f00ac35e51a6968aab57c5cfccd02927b7e9fcommit | diff
Importing MiniSat2 2.2.0 into trunk
30 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/Dimacs.h [new file with mode: 0644] blob
src/prop/minisat/core/Main.cc [new file with mode: 0644] blob
src/prop/minisat/core/Makefile [new file with mode: 0644] blob
src/prop/minisat/core/Solver.cc [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/doc/ReleaseNotes-2.2.0.txt [new file with mode: 0644] blob
src/prop/minisat/mtl/Alg.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Alloc.h [new file with mode: 0644] blob
src/prop/minisat/mtl/Heap.h [new file with mode: 0644] blob
src/prop/minisat/mtl/IntTypes.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/XAlloc.h [new file with mode: 0644] blob
src/prop/minisat/mtl/config.mk [new file with mode: 0644] blob
src/prop/minisat/mtl/template.mk [new file with mode: 0644] blob
src/prop/minisat/simp/Main.cc [new file with mode: 0644] blob
src/prop/minisat/simp/Makefile [new file with mode: 0644] blob
src/prop/minisat/simp/SimpSolver.cc [new file with mode: 0644] blob
src/prop/minisat/simp/SimpSolver.h [new file with mode: 0644] blob
src/prop/minisat/utils/Makefile [new file with mode: 0644] blob
src/prop/minisat/utils/Options.cc [new file with mode: 0644] blob
src/prop/minisat/utils/Options.h [new file with mode: 0644] blob
src/prop/minisat/utils/ParseUtils.h [new file with mode: 0644] blob
src/prop/minisat/utils/System.cc [new file with mode: 0644] blob
src/prop/minisat/utils/System.h [new file with mode: 0644] blob