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 2019


SMT Competition 2018


SMT Competition 2017


SMT Competition 2016


SMT Competition 2015


SMT Competition 2014


No SMT Competition in 2013


SMT Competition 2012


SMT Competition 2011


SMT Competition 2010

no participation


SMT Competition 2009


SMT Competition 2008