Simple Theorem Prover

Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.

STP's fork of berkeley-abc/abc. master mirrors upstream; stp carries STP's changes.

Benchmark results, binaries and harness for STP. Published at https://stp.github.io/benchmarks-data/

The website for STP, the Simple Theorem Prover

A tool for checking tool output inspired by LLVM's FileCheck

Documents

Mirror of SVN Googletest repository

STP SMT Competition 2021 code

Mirror of Steffen Beyer's Bit::Vector Library [http://guest.engelschall.com/~sb/download/]