projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 704b56f) | patch
Removing old version of MiniSat for proper vendor import
authorChristopher L. Conway <christopherleeconway@gmail.com>
Fri, 13 Aug 2010 17:19:28 +0000 (17:19 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Fri, 13 Aug 2010 17:19:28 +0000 (17:19 +0000)
commit040f00ac35e51a6968aab57c5cfccd02927b7e9f
treec0b2cdd0ff249c3811befcd12d011dc89a5099b9tree
parent704b56f3f5bdba6601dd687c8e649e36de50a6e7commit | diff
Removing old version of MiniSat for proper vendor import
23 files changed:
src/prop/minisat/CVC4-README [deleted file] blob | history
src/prop/minisat/LICENSE [deleted file] blob | history
src/prop/minisat/Makefile [deleted file] blob | history
src/prop/minisat/Makefile.am [deleted file] blob | history
src/prop/minisat/README [deleted file] blob | history
src/prop/minisat/core/Main.C [deleted file] blob | history
src/prop/minisat/core/Makefile [deleted file] blob | history
src/prop/minisat/core/Solver.C [deleted file] blob | history
src/prop/minisat/core/Solver.h [deleted file] blob | history
src/prop/minisat/core/SolverTypes.h [deleted file] blob | history
src/prop/minisat/mtl/Alg.h [deleted file] blob | history
src/prop/minisat/mtl/BasicHeap.h [deleted file] blob | history
src/prop/minisat/mtl/BoxedVec.h [deleted file] blob | history
src/prop/minisat/mtl/Heap.h [deleted file] blob | history
src/prop/minisat/mtl/Map.h [deleted file] blob | history
src/prop/minisat/mtl/Queue.h [deleted file] blob | history
src/prop/minisat/mtl/Sort.h [deleted file] blob | history
src/prop/minisat/mtl/Vec.h [deleted file] blob | history
src/prop/minisat/mtl/template.mk [deleted file] blob | history
src/prop/minisat/simp/Main.C [deleted file] blob | history
src/prop/minisat/simp/Makefile [deleted file] blob | history
src/prop/minisat/simp/SimpSolver.C [deleted file] blob | history
src/prop/minisat/simp/SimpSolver.h [deleted file] blob | history