git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

projects / francis / stp.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: ea9551d) | patch

author	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Sat, 5 Dec 2009 20:31:48 +0000 (20:31 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Sat, 5 Dec 2009 20:31:48 +0000 (20:31 +0000)
commit	20a57f78acb43a1a0abf918b209beddeb3a17ec2
tree	26a8e98aa332db380f14dd278829481fd9a39cb0	tree \| snapshot
parent	ea9551d82bca1995d941d3b60a8df389c1157230	commit \| diff

added some small bio examples

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@459 e59a4935-1847-0410-ae03-e826735625c1

src/STPManager/UserDefinedFlags.h		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/sat/cryptominisat/Solver.cpp		diff \| blob \| history
src/to-sat/ToSAT.cpp		diff \| blob \| history
tests/bio-tests/easy-bio.cvc	[new file with mode: 0644]	blob
tests/bio-tests/easy-unsat-bio.cvc	[new file with mode: 0644]	blob
tests/bio-tests/hard-sat-bio.cvc	[new file with mode: 0644]	blob

STP Constraint Solver.