Boolector 2.0
Aina Niemetz, Mathias Preiner, Armin Biere · Journal on Satisfiability Boolean Modeling and Computation · 2015
In this paper, we discuss the most important changes and new features introduced with version 2.0 of our SMT solver Boolector, which placed first in the QF_BV and QF_ABV tracks of the SMT competition 2014. We further outline some features and techniq