]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4e08e8) | patch
Improvement. On the smtcomp2007, disabling the freaky mod/div option is now 10 percen...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 15 Nov 2011 10:40:28 +0000 (10:40 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 15 Nov 2011 10:40:28 +0000 (10:40 +0000)
commit1d0e623e5d4ebbce066fbf66a903ea417c9f7b9b
tree7591a1a64e12c68166d5dab4ef82c8dbee6fd7aatree | snapshot
parentc4e08e8a41297efd759d086954d42825e20f54b0commit | diff
Improvement. On the smtcomp2007, disabling the freaky mod/div option is now 10 percent faster than having it enabled.

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