Boolector at the SMT competition 2019

Abstract

This paper serves as system description for our SMTsolver Boolector as entered into the SMT Competition 2019. Weonly list important differences from the version of Boolectorthat entered the SMT Competition 2018 [13]. For further andmore detailed information, we refer to [9, 10, 15, 16], the Boolectorwebsite [2] or the source code on GitHub [1].

Publication
Proceedings of the 17th International Workshop on Satisfiability Modulo Theories, SMT 2019), affiliated with the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, Lisbon, Portugal, July 7-8, 2019
Date