]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Cleaned up the printing of bitblasted formula and clauses. This will help me figure...
authorvijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 15 Oct 2009 22:45:29 +0000 (22:45 +0000)
committervijay_ganesh <vijay_ganesh@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 15 Oct 2009 22:45:29 +0000 (22:45 +0000)
commit168c3f09f9e2cac283b5c8a52c36c3d64cca2882
treecf81c662395a30f6e9677246acecf00b2bb9bd14
parent9eb515e3beda0ab265d2d546fff3bc4554bee67a
Cleaned up the printing of bitblasted formula and clauses. This will help me figure out how efficient the bitblaster/cnf translator are

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@308 e59a4935-1847-0410-ae03-e826735625c1
src/printer/AssortedPrinters.cpp
src/to-sat/BitBlast.cpp
src/to-sat/CallSAT.cpp
src/to-sat/ToCNF.cpp
src/to-sat/ToCNF.h