Boolector at the SMT competition 2018


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].

FMV Reports Series, Technical Report 18/1