Boolector at the SMT competition 2019


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

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