Simple Theorem Prover

icon indicating a website link https://stp.github.io/

Results 2 repositories owned by Simple Theorem Prover
trafficstars

stp

488
Stars
127
Forks
Watchers

Simple Theorem Prover, an efficient SMT solver for bitvectors

verified publisher icon stp

minisat

22
Stars
15
Forks
Watchers

A minimalistic and high-performance SAT solver

verified publisher icon stp