]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20a57f7) | patch
compressed some of the larger bio tests
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 5 Dec 2009 21:49:12 +0000 (21:49 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Sat, 5 Dec 2009 21:49:12 +0000 (21:49 +0000)
commitf359bf6eec4a3537f1438e530c73bbcaefa9a0b6
treed073a480a6c7bc1a115875f4c9b7cb6fe7dc3ee5tree | snapshot
parent20a57f78acb43a1a0abf918b209beddeb3a17ec2commit | diff
compressed some of the larger bio tests

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@460 e59a4935-1847-0410-ae03-e826735625c1
src/to-sat/CallSAT.cpp diff | blob | history
src/to-sat/ToCNF.cpp diff | blob | history
tests/bio-tests/easy-bio.cvc [deleted file] blob | history
tests/bio-tests/easy-sat-bio.cvc.tar.gz [new file with mode: 0644] blob
tests/bio-tests/easy-unsat-bio.cvc [deleted file] blob | history
tests/bio-tests/easy-unsat-bio.cvc.tar.gz [new file with mode: 0644] blob
tests/bio-tests/hard-sat-bio.cvc [deleted file] blob | history
tests/bio-tests/hard-sat-bio.cvc.tar.gz [new file with mode: 0644] blob
STP Constraint Solver.