]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4e3f28f) | patch
added cryptominisat code. compiles/links and runs correctly. Currently, STP does...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 29 Oct 2009 17:26:51 +0000 (17:26 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 29 Oct 2009 17:26:51 +0000 (17:26 +0000)
commitc3bfda146d27c4a7592255446eaf0abdefd90a17
tree9cc4fb2b5659f9beeb7a43ab3654fdf95eb3df0ftree | snapshot
parent4e3f28fc560391d582ff08ec55af0d26c8790cc1commit | diff
added cryptominisat code. compiles/links and runs correctly. Currently, STP does not add xor-clauses, i.e., CryptoMiniSAT runs just like MiniSAT and has the same performance.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@357 e59a4935-1847-0410-ae03-e826735625c1
15 files changed:
scripts/Makefile.common diff | blob | history
src/sat/Makefile diff | blob | history
src/sat/cryptominisat/AUTHORS [new file with mode: 0644] blob
src/sat/cryptominisat/LICENSE [new file with mode: 0644] blob
src/sat/cryptominisat/Logger.C [new file with mode: 0644] blob
src/sat/cryptominisat/Logger.h [new file with mode: 0644] blob
src/sat/cryptominisat/Makefile [new file with mode: 0644] blob
src/sat/cryptominisat/Solver.C [new file with mode: 0644] blob
src/sat/cryptominisat/Solver.h [new file with mode: 0644] blob
src/sat/cryptominisat/SolverTypes.h [new file with mode: 0644] blob
src/sat/cryptominisat/clause.cpp [new file with mode: 0644] blob
src/sat/cryptominisat/clause.h [new file with mode: 0644] blob
src/sat/cryptominisat/fcopy.cpp [new file with mode: 0644] blob
src/sat/cryptominisat/fcopy.h [new file with mode: 0644] blob
src/sat/sat.h diff | blob | history
STP Constraint Solver.