]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f5b3c7) | patch
Hack. The ITE context simplification blows out ff.stp, i.e. it takes > 5 minutes...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 7 Apr 2011 13:38:52 +0000 (13:38 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 7 Apr 2011 13:38:52 +0000 (13:38 +0000)
commit1f7b67c04ca0e8ac6dcc56333041f5c89d22638f
tree9b19a73059dff438ea708682b5469fab97a28fdftree | snapshot
parent1f5b3c7c3d1f493a72c7511790fbc19f498a3861commit | diff
Hack. The ITE context simplification blows out ff.stp, i.e. it takes > 5 minutes. This limits ITE context simplifications to small contexts.

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