Simple Theorem Prover

Simple Theorem Prover's repositories

Simple Theorem Prover, an efficient SMT solver for bitvectors

Language:C++NOASSERTION487 34 302

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION23 90

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

Language:PythonBSD-3-Clause11 6 2

The website for STP, the Simple Theorem Prover

Language:JavaScript3 90

Examples that crash the solver

Language:C++2 80

Documents

Language:TeX2 80

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

Language:Perl060

Mirror of SVN Googletest repository

Language:C++BSD-3-Clause070

STP SMT Competition 2021 code

Language:SMT050

Contains files for packaging STP on different platforms

Language:Makefile080