@techreport{8ad695316dd04f0c9df4ce35cc3dabbf,
title = "Boolector at the SMT competition 2017",
abstract = "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.",
author = "Aina Niemetz and Mathias Preiner and Armin Biere",
year = "2017",
month = jun,
language = "English",
series = "FMV Reports Series",
publisher = "Johannes Kepler University",
type = "WorkingPaper",
institution = "Johannes Kepler University",
}