Aina Niemetz, Mathias Preiner, Armin Biere,
"Boolector at the SMT competition 2015. Technical Report 15/1"
, Vol. 15/1, Johannes Kepler Universität, Linz, 6-2015
Original Titel:
Boolector at the SMT competition 2015. Technical Report 15/1
Sprache des Titels:
Englisch
Original Kurzfassung:
This paper serves as solver description for our SMT
solver Boolector, entering the SMT Competition 2015 in three
different configurations. We only list important differences to
the earlier version of Boolector that participated in the SMT
Competition 2014 [2]. For further information we refer to [3] or
source code.