Skip to content
@stp

Simple Theorem Prover

Pinned Loading

  1. stp stp Public

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

    C++ 589 145

Repositories

Showing 10 of 16 repositories
  • stp Public

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

    stp/stp's past year of commit activity
    C++ 589 145 9 7 Updated Oct 3, 2026
  • cryptominisat Public Forked from msoos/cryptominisat

    An advanced SAT solver

    stp/cryptominisat's past year of commit activity
    C++ 0 225 0 0 Updated Sep 25, 2026
  • abc Public

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

    stp/abc's past year of commit activity
    C 0 0 0 3 Updated Sep 25, 2026
  • symfpu Public Forked from martin-cs/symfpu

    A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point

    stp/symfpu's past year of commit activity
    C++ 0 32 0 0 Updated Sep 9, 2026
  • minisat Public Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    stp/minisat's past year of commit activity
    C++ 29 424 0 0 Updated Aug 25, 2026
  • stp.sh Public

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

    stp/stp.sh's past year of commit activity
    Shell 0 MIT 0 0 0 Updated Aug 24, 2026
  • libbf Public

    STP's mirror of Fabrice Bellard's LibBF (https://bellard.org/libbf/). master mirrors the upstream releases; stp carries STP's changes.

    stp/libbf's past year of commit activity
    C 0 0 0 0 Updated Aug 23, 2026
  • benchmarks-data Public

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

    stp/benchmarks-data's past year of commit activity
    Python 1 MIT 0 0 0 Updated Aug 15, 2026
  • stp.github.io Public

    The website for STP, the Simple Theorem Prover

    stp/stp.github.io's past year of commit activity
    HTML 3 0 0 0 Updated Aug 14, 2026
  • OutputCheck Public

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

    stp/OutputCheck's past year of commit activity
    Python 13 BSD-3-Clause 9 2 2 Updated Aug 29, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…