]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
some svn issues with adding cryptominisat. Hence have to remove it, and add it back
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 29 Oct 2009 17:37:42 +0000 (17:37 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 29 Oct 2009 17:37:42 +0000 (17:37 +0000)
commit37f238f1c8d88fa994ef10651be18f58dbc9f99c
tree5414b27362f9105d785fde5de62baa31c4f969f7
parentc3bfda146d27c4a7592255446eaf0abdefd90a17
some svn issues with adding cryptominisat. Hence have to remove it, and add it back

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@358 e59a4935-1847-0410-ae03-e826735625c1
35 files changed:
src/sat/LICENSE [deleted file]
src/sat/Makefile [deleted file]
src/sat/README [deleted file]
src/sat/core/Makefile [deleted file]
src/sat/core/Solver.C [deleted file]
src/sat/core/Solver.h [deleted file]
src/sat/core/SolverTypes.h [deleted file]
src/sat/cryptominisat/AUTHORS [deleted file]
src/sat/cryptominisat/LICENSE [deleted file]
src/sat/cryptominisat/Logger.C [deleted file]
src/sat/cryptominisat/Logger.h [deleted file]
src/sat/cryptominisat/Makefile [deleted file]
src/sat/cryptominisat/Solver.C [deleted file]
src/sat/cryptominisat/Solver.h [deleted file]
src/sat/cryptominisat/SolverTypes.h [deleted file]
src/sat/cryptominisat/clause.cpp [deleted file]
src/sat/cryptominisat/clause.h [deleted file]
src/sat/cryptominisat/fcopy.cpp [deleted file]
src/sat/cryptominisat/fcopy.h [deleted file]
src/sat/mtl/Alg.h [deleted file]
src/sat/mtl/BasicHeap.h [deleted file]
src/sat/mtl/BoxedVec.h [deleted file]
src/sat/mtl/Heap.h [deleted file]
src/sat/mtl/Map.h [deleted file]
src/sat/mtl/Queue.h [deleted file]
src/sat/mtl/Sort.h [deleted file]
src/sat/mtl/Vec.h [deleted file]
src/sat/mtl/template.mk [deleted file]
src/sat/sat.h [deleted file]
src/sat/simp/Makefile [deleted file]
src/sat/simp/SimpSolver.C [deleted file]
src/sat/simp/SimpSolver.h [deleted file]
src/sat/unsound/Makefile [deleted file]
src/sat/unsound/UnsoundSimpSolver.C [deleted file]
src/sat/unsound/UnsoundSimpSolver.h [deleted file]