STP at SMTCOMP2020

STP with CMS and MergeSAT submitted to SMTCOMP 2020.

STP 2.3.3

Windows build finally works without any hitch. So does Linux. This now allows us to create binaries for all platforms.

STP 2.3.2

Fixing displayed version. Python interface updates and a few fixes thanks to all the collaborators and some great merge requests :)

STP 2.3.1

Some ARM compilation fixups

STP 2.2.0

New release of STP to commemorate getting 2nd place in the SMT competition of 2016 bitvector category! Features:

• Fixed divide-by-zero crashes. Divide by zero now defaults to -1
• Uses newest CryptoMiniSat 5.0.0
• Fixed some issues with the python interface
• Fixed some issues with parsing SMT files

STP 2.1.2

Fixing issues with KLEE integration.

STP 2.1.1

Changes

Thanks to Marko Dimjašević a lot of copyright, licensing and author issues have been fixed. This will allow for easier packaging of the STP library and binary into distributions.

STP 2.1.0

High level changes

• Removal of the unmaintained Cryptominisat2
• Addition of Cryptominisat4 at a new SAT solver backend
• minisat is now an external dependency and is no longer bundled in STP.
• Python interface
• Shared library support
• Asserts on by default
• Better build system with automated testing
• Code refactoring

API changes

FatalError callback will assert fail in case the called function returns.