Looking for the latest version? Download stp2.zip (2.0 MB)
Home / STP2
Name Modified Size Downloads / Week Status
Parent folder
Totals: 2 Items   2.0 MB 9
README 2011-07-12 628 Bytes 11 weekly downloads
stp2.zip 2011-07-12 2.0 MB 88 weekly downloads
This is similar to the version of STP which was submitted to the SMTCOMP 2011. It: * Is based on r1368 from STP's subversion repository. * Is statically compiled for a 64-bit Linux computer. * Creates an always-interactive yacc parser, rather then the standard parser. This means it can be sent some of the SMTLIB2 control language. Without this option the parser buffers input. * Has a special encoding of multiplication that is better for hard problems. Hard problems taking say > 50 seconds to solve. To get the "standard" behaviour, use the --config_multiplication_variant=3 command line option. Trevor Hansen 12-July-2011
Source: README, updated 2011-07-12