Simple Theorem Prover, an efficient SMT solver for bitvectors. Available on Homebrew and apt.
brew install stp
No compatibility data collected yet for this library.
No known issues recorded.
No dependency data recorded yet.