projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58ea6b0) | patch
(no commit message)
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Sun, 15 Aug 2010 21:25:21 +0000 (21:25 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Sun, 15 Aug 2010 21:25:21 +0000 (21:25 +0000)
commita6b782a6b8486689e47338c456b816c95cf67a92
treea7f911007e1d27c2fb0e1847d9cabb1c538d65b2tree
parent58ea6b0b63d2170391a61e0fe3b1a3ecf3b99fb2commit | diff
33 files changed:
src/prop/minisat/LICENSE diff | blob | history
src/prop/minisat/Makefile.am diff | blob | history
src/prop/minisat/README diff | blob | history
src/prop/minisat/core/Dimacs.h [new file with mode: 0644] blob
src/prop/minisat/core/Main.cc diff | blob | history
src/prop/minisat/core/Makefile diff | blob | history
src/prop/minisat/core/Solver.cc diff | blob | history
src/prop/minisat/core/Solver.h diff | blob | history
src/prop/minisat/core/SolverTypes.h diff | blob | history
src/prop/minisat/doc/ReleaseNotes-2.2.0.txt [new file with mode: 0644] blob
src/prop/minisat/mtl/Alg.h diff | blob | history
src/prop/minisat/mtl/Alloc.h [new file with mode: 0644] blob
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 diff | blob | history
src/prop/minisat/mtl/IntTypes.h [new file with mode: 0644] blob
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/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 diff | blob | history
src/prop/minisat/simp/Main.cc diff | blob | history
src/prop/minisat/simp/Makefile diff | blob | history
src/prop/minisat/simp/SimpSolver.cc diff | blob | history
src/prop/minisat/simp/SimpSolver.h diff | blob | history
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