stp

Efficient SMT solver for bitvector logic and arrays

brewmacoslinux

Try with needOr install directly

About

Simple Theorem Prover, an efficient SMT solver for bitvectors

stp

Solve a simple bitvector satisfiability problem from a file$ stp input.stp

Check satisfiability with verbose output$ stp --verbose input.stp

Output statistics about the solving process$ stp --stats input.stp