]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Merge branch 'cryptominisat1_removed_and_rest_cleaned'
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 16 Apr 2010 14:51:57 +0000 (14:51 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Fri, 16 Apr 2010 14:51:57 +0000 (14:51 +0000)
commitdeb3e8ba7c77d02e7c47f7df7b879bba73009f27
tree0e072da52de2f6d11c8aff1d208eb900cd74f05c
parentdfcd136299883462bd9ddf916a869210a8cbc6dd
Merge branch 'cryptominisat1_removed_and_rest_cleaned'

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@684 e59a4935-1847-0410-ae03-e826735625c1
src/STPManager/STPManager.cpp
src/main/Globals.h
src/sat/cryptominisat2/Solver.h
src/sat/cryptominisat2/time_mem.h
src/to-sat/ToSAT.cpp