]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65acda8) | patch
Revert to r1423. I checked in the wrong file.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 28 Nov 2011 05:28:57 +0000 (05:28 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 28 Nov 2011 05:28:57 +0000 (05:28 +0000)
commit00278b728cb2fc9e90861570e0db4632c147f79e
treec5173f0bc9324701d10492047f44130bf10f1c55tree | snapshot
parent65acda8d2de92761e0ae9636442f64ef623341eccommit | diff
Revert to r1423. I checked in the wrong file.

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