Skip to content

@stp Simple Theorem Prover

Change the repository type filter

All

    Repositories list

    10 repositories

    • stp

      Public
      Simple Theorem Prover, an efficient SMT solver for bitvectors
      cryptographyverificationsymbolic-executioncnfsat-solversmt
      C++
      •
      Other
      •130•526•48•4•Updated Sep 27, 2024Sep 27, 2024

    • OutputCheck

      Public
      A tool for checking tool output inspired by LLVM's FileCheck
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •8•11•2•2•Updated Aug 2, 2024Aug 2, 2024

    • docs

      Public
      Documents
      TeX
      •2•2•0•0•Updated May 30, 2024May 30, 2024

    • stp.github.io

      Public
      The website for STP, the Simple Theorem Prover
      JavaScript
      •1•3•0•1•Updated Mar 18, 2024Mar 18, 2024

    • minisat

      Public
      A minimalistic and high-performance SAT solver
      C++
      •
      Other
      •395•26•0•0•Updated Feb 6, 2023Feb 6, 2023

    • googletest

      Public
      Mirror of SVN Googletest repository
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jul 11, 2022Jul 11, 2022

    • smtcomp-cloud-2021

      Public
      STP SMT Competition 2021 code
      SMT
      •0•0•0•0•Updated Jul 16, 2021Jul 16, 2021

    • Bit-Vector

      Public
      Mirror of Steffen Beyer's Bit::Vector Library [http://guest.engelschall.com/~sb/download/]
      Perl
      •0•1•0•0•Updated Jul 27, 2020Jul 27, 2020

    • stp-packaging

      Public
      Contains files for packaging STP on different platforms
      Makefile
      •0•0•0•0•Updated Nov 16, 2015Nov 16, 2015

    • crashes

      Public
      Examples that crash the solver
      C++
      •0•2•0•0•Updated Nov 9, 2014Nov 9, 2014