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: 4747da4) | patch

author	msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
	Mon, 7 Dec 2009 20:03:13 +0000 (20:03 +0000)
committer	msoos <msoos@e59a4935-1847-0410-ae03-e826735625c1>
	Mon, 7 Dec 2009 20:03:13 +0000 (20:03 +0000)
commit	f4dbc58bf0d40fd3409f4a7003342ecaf1e2f946
tree	cf2287d79ee8aca16564e85a774e32b58231a915	tree \| snapshot
parent	4747da47ff439fe089de62691aae7601e4d28ee2	commit \| diff

Updating CryptoMiniSat2 to r577

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

STP Constraint Solver.