]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d1d385) | patch
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 11 Aug 2009 22:54:03 +0000 (22:54 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Tue, 11 Aug 2009 22:54:03 +0000 (22:54 +0000)
commitc774e29a4221f03c7a455c8f832cdb30f0480a91
treebc440250b62fe8841682dda85232c8c7eba12137tree | snapshot
parent1d1d38591244a5ed0e1871aa4277dc4f0840fd7acommit | diff
git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@112 e59a4935-1847-0410-ae03-e826735625c1
tests/bio-tests/4-alpha-helices-3-rungs.cvc diff | blob | history
STP Constraint Solver.