projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e5f551) | patch
bringing cryptominisat into the main branch
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 29 Mar 2012 03:08:05 +0000 (03:08 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 29 Mar 2012 03:08:05 +0000 (03:08 +0000)
commit6ba22cdd0e38f9811daefd2aee8218b8b8cf9e0e
tree435b1c90d00fd4f6cd05e29ebbdf8e735d8aa68etree
parent6e5f551507a2a9af33e7b56107471a096a495862commit | diff
bringing cryptominisat into the main branch
99 files changed:
src/prop/cryptominisat/AUTHORS [new file with mode: 0644] blob
src/prop/cryptominisat/HOWTO_MinGW32 [new file with mode: 0644] blob
src/prop/cryptominisat/HOWTO_VisualCpp [new file with mode: 0644] blob
src/prop/cryptominisat/INSTALL [new file with mode: 0644] blob
src/prop/cryptominisat/LICENSE-GPL [new file with mode: 0644] blob
src/prop/cryptominisat/LICENSE-MIT [new file with mode: 0644] blob
src/prop/cryptominisat/MTRand/Makefile.am [new file with mode: 0644] blob
src/prop/cryptominisat/MTRand/Makefile.in [new file with mode: 0644] blob
src/prop/cryptominisat/MTRand/MersenneTwister.h [new file with mode: 0644] blob
src/prop/cryptominisat/Makefile.am [new file with mode: 0644] blob
src/prop/cryptominisat/Makefile.in [new file with mode: 0644] blob
src/prop/cryptominisat/NEWS [new file with mode: 0644] blob
src/prop/cryptominisat/README [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/BitArray.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/BothCache.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/BothCache.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/BoundedQueue.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/CSet.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Clause.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/ClauseAllocator.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/ClauseAllocator.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/ClauseCleaner.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/ClauseCleaner.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/ClauseOffset.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/ClauseVivifier.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/ClauseVivifier.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/CompleteDetachReattacher.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/CompleteDetachReattacher.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/DataSync.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/DataSync.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/DimacsParser.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/DimacsParser.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/DoublePackedRow.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/FailedLitSearcher.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/FailedLitSearcher.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Gaussian.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Gaussian.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/GaussianConfig.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Main.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Main.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Makefile.am [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Makefile.in [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/MatrixFinder.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/MatrixFinder.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/OnlyNonLearntBins.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/OnlyNonLearntBins.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/PackedMatrix.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/PackedRow.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/PackedRow.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/PropBy.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/RestartTypeChooser.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/RestartTypeChooser.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/SCCFinder.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/SCCFinder.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/SharedData.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Solver.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Solver.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/SolverConf.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/SolverConf.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/SolverDebug.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/SolverMisc.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/SolverTypes.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/StateSaver.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/StateSaver.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/StreamBuffer.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Subsumer.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Subsumer.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/UselessBinRemover.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/UselessBinRemover.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/VarReplacer.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/VarReplacer.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/Watched.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/XSet.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/XorFinder.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/XorFinder.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/XorSubsumer.cpp [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/XorSubsumer.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/constants.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/msvc/stdint.h [new file with mode: 0644] blob
src/prop/cryptominisat/Solver/time_mem.h [new file with mode: 0644] blob
src/prop/cryptominisat/TODO [new file with mode: 0644] blob
src/prop/cryptominisat/aclocal.m4 [new file with mode: 0644] blob
src/prop/cryptominisat/config.guess [new file with mode: 0755] blob
src/prop/cryptominisat/config.h.in [new file with mode: 0644] blob
src/prop/cryptominisat/config.sub [new file with mode: 0755] blob
src/prop/cryptominisat/configure [new file with mode: 0755] blob
src/prop/cryptominisat/configure.in [new file with mode: 0644] blob
src/prop/cryptominisat/depcomp [new file with mode: 0755] blob
src/prop/cryptominisat/install-sh [new file with mode: 0755] blob
src/prop/cryptominisat/ltmain.sh [new file with mode: 0644] blob
src/prop/cryptominisat/man/Makefile.am [new file with mode: 0644] blob
src/prop/cryptominisat/man/Makefile.in [new file with mode: 0644] blob
src/prop/cryptominisat/man/cryptominisat.1 [new file with mode: 0644] blob
src/prop/cryptominisat/missing [new file with mode: 0755] blob
src/prop/cryptominisat/mtl/Alg.h [new file with mode: 0644] blob
src/prop/cryptominisat/mtl/Heap.h [new file with mode: 0644] blob
src/prop/cryptominisat/mtl/Makefile.am [new file with mode: 0644] blob
src/prop/cryptominisat/mtl/Makefile.in [new file with mode: 0644] blob
src/prop/cryptominisat/mtl/Vec.h [new file with mode: 0644] blob