npm

boolector

SMT solver for fixed-size bit-vectors and arrays

brewmacoslinux
Try with needOr install directly
Source

About

SMT solver for fixed-size bit-vectors

Commands

boolector

Examples

Solve a simple bit-vector satisfiability problem from a file$ boolector problem.smt2
Check satisfiability with verbose output$ boolector -v problem.smt2
Parse and validate SMT-LIB2 format file$ boolector --smt2 input.smt2