Skip to content

STP 2.1.2

@msoos msoos released this · 12 commits to master since this release

Fixing issues with KLEE integration.



STP 2.1.1

@msoos msoos released this · 16 commits to master since this release


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

@delcypher delcypher released this

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.


Something went wrong with that request. Please try again.