stp

cli 2.3.4 ·c

✓ install reviewed

Simple Theorem Prover, an efficient SMT solver for bitvectors. Available on Homebrew and apt.

Resources