]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3dacabb) | patch
Add the ability to tell the SMTLIB2 printer whether it contains arrays or not. The...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 12 Mar 2012 04:06:44 +0000 (04:06 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Mon, 12 Mar 2012 04:06:44 +0000 (04:06 +0000)
commitd7d93965efa936d4043e7330da6907630556e5a7
tree0377d42f5e221c3f86b20ff6e2bd49e888819dc1tree | snapshot
parent3dacabb2a08a43c9bc01067208623d460a1eed89commit | diff
Add the ability to tell the SMTLIB2 printer whether it contains arrays or not. The array check can be very expensive.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1589 e59a4935-1847-0410-ae03-e826735625c1
src/printer/SMTLIB2Printer.cpp diff | blob | history
src/printer/printers.h diff | blob | history
STP Constraint Solver.