]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 27422b6) | patch
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
tree202ce19867e64c6ec6f79bb605e18d49c9d488cdtree | snapshot
parent27422b67e25c08bb0d08369baaf676aae742a13fcommit | diff
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 diff | blob | history
STP Constraint Solver.