]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca04a90) | patch
Improvement. More cases for the simplifying node factory.
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 20 Mar 2011 02:36:09 +0000 (02:36 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 20 Mar 2011 02:36:09 +0000 (02:36 +0000)
commit0001fe91f1d099880cd2cbaa7ead3e8f331d759c
tree5eaefdd425f353d8437907b80b59507ed8e1f59ftree | snapshot
parentca04a908903e2a1018eb684ddbc64d850b098557commit | diff
Improvement. More cases for the simplifying node factory.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1220 e59a4935-1847-0410-ae03-e826735625c1
src/AST/NodeFactory/SimplifyingNodeFactory.cpp diff | blob | history
STP Constraint Solver.