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