Boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

GitHub

Documentation
BibTex
Publications
Slides
SMT competitions
People
Download Archive
Third Party Contributions

License: MIT

Bibtex Entry

If you cite Boolector >= version 2.0, please use the system description in JSAT volum 9 (BibTex) as listed below:

@article{NiemetzPreinerBiere-JSAT15,
  title     = {Boolector 2.0 system description},
  author    = {Aina Niemetz and Mathias Preiner and Armin Biere},
  journal   = {Journal on Satisfiability, Boolean Modeling and Computation},
  volume    = {9},
  pages     = {53-58},
  year      = {2014 (published 2015)},
  publisher = {IOS Press},
}