Skip to content
@stp

Simple Theorem Prover

Pinned Loading

  1. stp stp Public

    Simple Theorem Prover, an efficient SMT solver for bitvectors

    C++ 530 130

Repositories

Showing 10 of 10 repositories
  • stp Public

    Simple Theorem Prover, an efficient SMT solver for bitvectors

    stp/stp’s past year of commit activity
    C++ 530 130 48 4 Updated Sep 27, 2024
  • OutputCheck Public

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

    stp/OutputCheck’s past year of commit activity
    Python 11 BSD-3-Clause 8 2 2 Updated Aug 2, 2024
  • docs Public

    Documents

    stp/docs’s past year of commit activity
    TeX 2 2 0 0 Updated May 30, 2024
  • stp.github.io Public

    The website for STP, the Simple Theorem Prover

    stp/stp.github.io’s past year of commit activity
    JavaScript 3 1 0 1 Updated Mar 18, 2024
  • minisat Public Forked from niklasso/minisat

    A minimalistic and high-performance SAT solver

    stp/minisat’s past year of commit activity
    C++ 26 398 0 0 Updated Feb 6, 2023
  • googletest Public

    Mirror of SVN Googletest repository

    stp/googletest’s past year of commit activity
    C++ 0 BSD-3-Clause 0 0 0 Updated Jul 11, 2022
  • smtcomp-cloud-2021 Public

    STP SMT Competition 2021 code

    stp/smtcomp-cloud-2021’s past year of commit activity
    SMT 0 0 0 0 Updated Jul 16, 2021
  • Bit-Vector Public

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

    stp/Bit-Vector’s past year of commit activity
    Perl 1 0 0 0 Updated Jul 27, 2020
  • stp-packaging Public

    Contains files for packaging STP on different platforms

    stp/stp-packaging’s past year of commit activity
    Makefile 0 0 0 0 Updated Nov 16, 2015
  • crashes Public

    Examples that crash the solver

    stp/crashes’s past year of commit activity
    C++ 2 0 0 0 Updated Nov 9, 2014

Most used topics

Loading…