]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14854bc) | patch
Adding Cryptominisat Version 2
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 27 Nov 2009 10:26:02 +0000 (10:26 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 27 Nov 2009 10:26:02 +0000 (10:26 +0000)
commit3e0022f2f1ef85e8202c5ea26f146e518416614e
tree1487c944c4594225e562d5796cb8e54367e4ec96tree | snapshot
parent14854bc7f688f8db6849b7aaa8e02c816310c824commit | diff
Adding Cryptominisat Version 2

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@429 e59a4935-1847-0410-ae03-e826735625c1
29 files changed:
scripts/Makefile.common diff | blob | history
scripts/Makefile.in diff | blob | history
src/sat/cryptominisat2/BitArray.h [new file with mode: 0644] blob
src/sat/cryptominisat2/Clause.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/Clause.h [new file with mode: 0644] blob
src/sat/cryptominisat2/Conglomerate.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/Conglomerate.h [new file with mode: 0644] blob
src/sat/cryptominisat2/FindUndef.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/FindUndef.h [new file with mode: 0644] blob
src/sat/cryptominisat2/Gaussian.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/Gaussian.h [new file with mode: 0644] blob
src/sat/cryptominisat2/GaussianConfig.h [new file with mode: 0644] blob
src/sat/cryptominisat2/Logger.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/Logger.h [new file with mode: 0644] blob
src/sat/cryptominisat2/Makefile [new file with mode: 0644] blob
src/sat/cryptominisat2/MatrixFinder.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/MatrixFinder.h [new file with mode: 0644] blob
src/sat/cryptominisat2/PackedMatrix.h [new file with mode: 0644] blob
src/sat/cryptominisat2/PackedRow.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/PackedRow.h [new file with mode: 0644] blob
src/sat/cryptominisat2/Solver.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/Solver.h [new file with mode: 0644] blob
src/sat/cryptominisat2/SolverTypes.h [new file with mode: 0644] blob
src/sat/cryptominisat2/VERSION [new file with mode: 0644] blob
src/sat/cryptominisat2/VarReplacer.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/VarReplacer.h [new file with mode: 0644] blob
src/sat/cryptominisat2/XorFinder.cpp [new file with mode: 0644] blob
src/sat/cryptominisat2/XorFinder.h [new file with mode: 0644] blob
src/sat/cryptominisat2/time_mem.h [new file with mode: 0644] blob
STP Constraint Solver.