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

Build Status

SMT competitions

SMT Competition 2018

SMT Competition 2017

SMT Competition 2016

SMT Competition 2015

SMT Competition 2014

SMT Competition 2012

SMT Competition 2011

SMT Competition 2010

no participation

SMT Competition 2009

SMT Competition 2008