]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd4ccf3) | patch
Revert "Sorry, Solver.h's #include directive wasn't cleaned from 'MTRand/' in last...
authormsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 1 Dec 2009 23:46:19 +0000 (23:46 +0000)
committermsoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 1 Dec 2009 23:46:19 +0000 (23:46 +0000)
commit05a1c92cd1eeebb49922360fd96b068e09e2aef1
tree387adb8e5b5e4399d8d5b308804ebadfa8e43019tree | snapshot
parentfd4ccf3ec07389cfb690ed61552431af9d2c5e45commit | diff
Revert "Sorry, Solver.h's #include directive wasn't cleaned from 'MTRand/' in last commit"

This reverts commit 2ca9fce7e56faf8bc26285597a323f9dbe1e6b00.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@444 e59a4935-1847-0410-ae03-e826735625c1
src/sat/cryptominisat2/Solver.h diff | blob | history
STP Constraint Solver.