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: cc1853b) | patch

author	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Mon, 5 Oct 2009 23:10:08 +0000 (23:10 +0000)
committer	vijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
	Mon, 5 Oct 2009 23:10:08 +0000 (23:10 +0000)
commit	306c3612ae65a38547d32797d518589461dc19aa
tree	5134be80e610ee70f6664157add807946a31f1bd	tree \| snapshot
parent	cc1853bdd29253034947994cd634884918aa275c	commit \| diff

reorganized ToCNF

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

16 files changed:

Makefile		diff \| blob \| history
scripts/Makefile.in		diff \| blob \| history
src/AST/AST.h		diff \| blob \| history
src/AST/ASTNode.h		diff \| blob \| history
src/STPManager/STPManager.cpp		diff \| blob \| history
src/c_interface/c_interface.cpp		diff \| blob \| history
src/main/Globals.h		diff \| blob \| history
src/main/main.cpp		diff \| blob \| history
src/printer/AssortedPrinters.cpp		diff \| blob \| history
src/simplifier/bvsolver.cpp		diff \| blob \| history
src/simplifier/bvsolver.h		diff \| blob \| history
src/to-sat/BitBlast.cpp		diff \| blob \| history
src/to-sat/BitBlast.h	[new file with mode: 0644]	blob
src/to-sat/ToCNF.cpp		diff \| blob \| history
src/to-sat/ToCNF.h	[new file with mode: 0644]	blob
src/to-sat/ToSAT.cpp		diff \| blob \| history

STP Constraint Solver.