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.

Shell helpers for building STP across worktrees (bash and zsh)

STP's mirror of Fabrice Bellard's LibBF (https://bellard.org/libbf/). master mirrors the upstream releases; 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