SMT solver for bit-vectors and arrays, useful for formal verification and software testing.
apt install boolector
No compatibility data collected yet for this library.
No known issues recorded.
No dependency data recorded yet.