]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fbe881) | patch
Refactor. Add an extra configuration option to control always_true detection.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 16 Jan 2012 02:17:13 +0000 (02:17 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 16 Jan 2012 02:17:13 +0000 (02:17 +0000)
commitb730259b73bd869b0520261107e956cf81803f52
tree4d29b89268920aad104f186dc9a3d23aa68e1063tree | snapshot
parent3fbe8810c610c8fea6ed656a6c0de387b5a32a38commit | diff
Refactor. Add an extra configuration option to control always_true detection.

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