]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Removing CryptoMiniSat ver. 1
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 16 Apr 2010 15:25:10 +0000 (15:25 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 16 Apr 2010 15:25:10 +0000 (15:25 +0000)
commit020faac03af55e45f09a9df5bed3e4bb028ef69c
treed99ccd788dcf725d55f0247b39be98fea608e171
parentdeb3e8ba7c77d02e7c47f7df7b879bba73009f27
Removing CryptoMiniSat ver. 1

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@685 e59a4935-1847-0410-ae03-e826735625c1
27 files changed:
scripts/Makefile.in
src/STPManager/STP.cpp
src/main/main.cpp
src/sat/cryptominisat/AUTHORS [deleted file]
src/sat/cryptominisat/LICENSE [deleted file]
src/sat/cryptominisat/Logger.cpp [deleted file]
src/sat/cryptominisat/Logger.h [deleted file]
src/sat/cryptominisat/MTRand/MersenneTwister.h [deleted file]
src/sat/cryptominisat/Makefile [deleted file]
src/sat/cryptominisat/Solver.cpp [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/cryptominisat/mtl/Alg.h [deleted file]
src/sat/cryptominisat/mtl/BasicHeap.h [deleted file]
src/sat/cryptominisat/mtl/BoxedVec.h [deleted file]
src/sat/cryptominisat/mtl/Heap.h [deleted file]
src/sat/cryptominisat/mtl/Map.h [deleted file]
src/sat/cryptominisat/mtl/Queue.h [deleted file]
src/sat/cryptominisat/mtl/Sort.h [deleted file]
src/sat/cryptominisat/mtl/Vec.h [deleted file]
src/sat/sat.h
src/to-sat/ToCNF.cpp
src/to-sat/ToSAT.cpp