git.libre-soc.org Git - cvc5.git/commit

author	Christopher L. Conway <christopherleeconway@gmail.com>
	Fri, 13 Aug 2010 17:21:24 +0000 (17:21 +0000)
committer	Christopher L. Conway <christopherleeconway@gmail.com>
	Fri, 13 Aug 2010 17:21:24 +0000 (17:21 +0000)
commit	33de059bee5f6814615a88a7c13d819820430f25
tree	c0b2cdd0ff249c3811befcd12d011dc89a5099b9	tree
parent	ca627b6170a0528b95b94c8de7255eb243d99264	commit \| diff

Removing newer version of MiniSat for Dejan's preferred import

30 files changed:

src/prop/minisat/LICENSE	[deleted file]	blob \| history
src/prop/minisat/README	[deleted file]	blob \| history
src/prop/minisat/core/Dimacs.h	[deleted file]	blob \| history
src/prop/minisat/core/Main.cc	[deleted file]	blob \| history
src/prop/minisat/core/Makefile	[deleted file]	blob \| history
src/prop/minisat/core/Solver.cc	[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/doc/ReleaseNotes-2.2.0.txt	[deleted file]	blob \| history
src/prop/minisat/mtl/Alg.h	[deleted file]	blob \| history
src/prop/minisat/mtl/Alloc.h	[deleted file]	blob \| history
src/prop/minisat/mtl/Heap.h	[deleted file]	blob \| history
src/prop/minisat/mtl/IntTypes.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/XAlloc.h	[deleted file]	blob \| history
src/prop/minisat/mtl/config.mk	[deleted file]	blob \| history
src/prop/minisat/mtl/template.mk	[deleted file]	blob \| history
src/prop/minisat/simp/Main.cc	[deleted file]	blob \| history
src/prop/minisat/simp/Makefile	[deleted file]	blob \| history
src/prop/minisat/simp/SimpSolver.cc	[deleted file]	blob \| history
src/prop/minisat/simp/SimpSolver.h	[deleted file]	blob \| history
src/prop/minisat/utils/Makefile	[deleted file]	blob \| history
src/prop/minisat/utils/Options.cc	[deleted file]	blob \| history
src/prop/minisat/utils/Options.h	[deleted file]	blob \| history
src/prop/minisat/utils/ParseUtils.h	[deleted file]	blob \| history
src/prop/minisat/utils/System.cc	[deleted file]	blob \| history
src/prop/minisat/utils/System.h	[deleted file]	blob \| history

RSS Atom