Aina Niemetz, Mathias Preiner, Armin Biere,
"Boolector at the SMT competition 2017"
, Serie FMV Reports Series, Vol. 17/1, Johannes Kepler University, Linz, 6-2017
Original Titel:
Boolector at the SMT competition 2017
Sprache des Titels:
Englisch
Original Kurzfassung:
This paper serves as solver description for our SMT solver Boolector as entered into the SMT Competition 2017. We only list important differences to the version of Boolector that entered the SMT Competition 2016 [5]. For further and more detailed information, we refer to [3,4,7] or source code.
Forschungs-