]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a1f737) | patch
Fixed -x bug in the CNF converter, and added a test, rna2.cvc, to the
authorkatelman <katelman@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 22 Aug 2009 16:26:55 +0000 (16:26 +0000)
committerkatelman <katelman@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 22 Aug 2009 16:26:55 +0000 (16:26 +0000)
commit38eadacb1ce9bb0bb83b3e45aba4d1513e818d91
tree7f8ab06b3854a71ec722877ba14eb44fe95d342ftree | snapshot
parent0a1f737f8c3d02876c72fd4d2fe1813ca33f012acommit | diff
Fixed -x bug in the CNF converter, and added a test, rna2.cvc, to the
regressions. All of the modified files in the various branches, I am not sure
about, except that since they are my branches, it doesn't really matter.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@142 e59a4935-1847-0410-ae03-e826735625c1
scripts/config.info diff | blob | history
src/AST/ToCNF.cpp diff | blob | history
STP Constraint Solver.