Simple Theorem Prover

Pinned Repositories

Bit-Vector
Mirror of Steffen Beyer's Bit::Vector Library [http://guest.engelschall.com/~sb/download/]
Language:Perl0 6 00
crashes
Examples that crash the solver
Language:C++2 8 00
docs
Documents
Language:TeX2 8 02
googletest
Mirror of SVN Googletest repository
Language:C++0 7 00
minisat
A minimalistic and high-performance SAT solver
Language:C++23 9 015
OutputCheck
A tool for checking tool output inspired by LLVM's FileCheck
Language:Python11 6 28
smtcomp-cloud-2021
STP SMT Competition 2021 code
Language:SMT0 5 00
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Language:C++503 34 311128
stp-packaging
Contains files for packaging STP on different platforms
Language:Makefile0 8 00
stp.github.io
The website for STP, the Simple Theorem Prover
Language:JavaScript3 9 01

Simple Theorem Prover's Repositories

stp/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
Language:C++503 34 311128
stp/minisat
A minimalistic and high-performance SAT solver
Language:C++23 9 015
stp/OutputCheck
A tool for checking tool output inspired by LLVM's FileCheck
Language:Python11 6 28
stp/stp.github.io
The website for STP, the Simple Theorem Prover
Language:JavaScript3 9 01
stp/crashes
Examples that crash the solver
Language:C++2 8 00
stp/docs
Documents
Language:TeX2 8 02
stp/Bit-Vector
Mirror of Steffen Beyer's Bit::Vector Library [http://guest.engelschall.com/~sb/download/]
Language:Perl0 6 00
stp/googletest
Mirror of SVN Googletest repository
Language:C++0 7 00
stp/smtcomp-cloud-2021
STP SMT Competition 2021 code
Language:SMT0 5 00
stp/stp-packaging
Contains files for packaging STP on different platforms
Language:Makefile0 8 00