]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Improvement. run unconstrained elimination after propagating equalities. Unconstraine...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 11 Sep 2011 13:41:14 +0000 (13:41 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 11 Sep 2011 13:41:14 +0000 (13:41 +0000)
commit47c72a5063559f369a834afe9182c99e3c18b77f
tree202ce19867e64c6ec6f79bb605e18d49c9d488cd
parent27422b67e25c08bb0d08369baaf676aae742a13f
Improvement. run unconstrained elimination after propagating equalities. Unconstrained is the more expensive, so running the other one first can shrink the size of the problem down before it runs.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1396 e59a4935-1847-0410-ae03-e826735625c1
src/STPManager/STP.cpp