Aina Niemetz, Mathias Preiner, Armin Biere,
"Boolector at the SMT competition 2016"
, Serie FMV Reports Series, Institute for Formal Models and Verification, Vol. 16/1, Johannes Kepler University, Linz, 6-2016
Original Titel:
Boolector at the SMT competition 2016
Sprache des Titels:
Englisch
Original Kurzfassung:
This paper serves as solver description for our SMT
solver Boolector, entering the SMT Competition 2016 in two
different configurations. We only list important differences to
earlier version of Boolector in the SMT Competition 2015 [3].
For further information we refer to [2] or source code.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Johannes Kepler University
Verlagsanschrift:
Linz
Serie:
FMV Reports Series, Institute for Formal Models and Verification
Forschungs-