projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f2ab48d) | patch
Adding the changes to the original copy
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 13 Aug 2010 17:27:12 +0000 (17:27 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 13 Aug 2010 17:27:12 +0000 (17:27 +0000)
commitca7639a67b6928fbb9aa2a38d4739a650189f67f
treed8c0f8cd427d3c29c7ad0f9bffc509b1d8651583tree
parentf2ab48d27a62791d4db46ab00c27041410965d2dcommit | diff
Adding the changes to the original copy
16 files changed:
src/prop/minisat/CVC4-README [new file with mode: 0644] blob
src/prop/minisat/Makefile [new file with mode: 0644] blob
src/prop/minisat/Makefile.am [new file with mode: 0644] blob
src/prop/minisat/core/Solver.C diff | blob | history
src/prop/minisat/core/Solver.h diff | blob | history
src/prop/minisat/core/SolverTypes.h diff | blob | history
src/prop/minisat/mtl/Alg.h diff | blob | history
src/prop/minisat/mtl/BasicHeap.h diff | blob | history
src/prop/minisat/mtl/BoxedVec.h diff | blob | history
src/prop/minisat/mtl/Heap.h diff | blob | history
src/prop/minisat/mtl/Map.h diff | blob | history
src/prop/minisat/mtl/Queue.h diff | blob | history
src/prop/minisat/mtl/Sort.h diff | blob | history
src/prop/minisat/mtl/Vec.h diff | blob | history
src/prop/minisat/simp/SimpSolver.C diff | blob | history
src/prop/minisat/simp/SimpSolver.h diff | blob | history