]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9a7ff8) | patch
Fix creation of SimplifyingNodeFactory to use STPMgr's hashingNodeFactory, to satisfy...
authorkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 Jan 2012 16:55:36 +0000 (16:55 +0000)
committerkhooyp <khooyp@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 11 Jan 2012 16:55:36 +0000 (16:55 +0000)
commitc10cdfde496c7418812486c5ac8fc9422e3fa526
tree907a60a3eea355fc6da3c0b669d05d7523518e95tree | snapshot
parentb9a7ff86fe0d2e7ef5037cd3b97b775142543afccommit | diff
Fix creation of SimplifyingNodeFactory to use STPMgr's hashingNodeFactory, to satisfy various assertions.

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