Boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Documentation
BibTex
Publications
Slides
SMT competitions
People
Download Archive
Third Party Contributions
People
Main Authors and Developers
- Armin Biere (since 2007)
- Aina Niemetz (since 2012)
- Mathias Preiner (since 2012)
Former Members
- Robert Brummayer (2007-2009)