Boolector/boolector
GitHub
Releases8
Frequency10 months 2 weeks
Last Release
Stars360
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Collections containing this project
Showing collections based on your access.
This project is not in any collections you can view.