]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 32e0493) | patch
CryptoMiniSat can now be built
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 5 Jul 2010 09:27:00 +0000 (09:27 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 5 Jul 2010 09:27:00 +0000 (09:27 +0000)
commitf295e9e0064417897031336c9a86319f0ab3d0ef
treecbbdc0e5dfdb4273f188fd423e34ea27039838edtree | snapshot
parent32e0493affc0279ab38e193bf29c3fbd12c2ad31commit | diff
CryptoMiniSat can now be built

How to build CryptoMS:
1) install cmake
2) go to the "src/sat/cryptominisat2/" directory
3) create new dir: "mkdir build"
4) go to new dir: "cd build"
5) type "cmake ../"
6) type "make"
7) the "cryptominisat" binary is now in the directory

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@925 e59a4935-1847-0410-ae03-e826735625c1
src/sat/cryptominisat2/CMakeLists.txt [new file with mode: 0644] blob
src/sat/cryptominisat2/Main.cpp [new file with mode: 0644] blob
STP Constraint Solver.