Boolector 2.0
| Autor: | Mathias Preiner, Armin Biere, Aina Niemetz |
|---|---|
| Rok vydání: | 2015 |
| Předmět: | |
| Zdroj: | Journal on Satisfiability, Boolean Modeling and Computation. 9:53-58 |
| ISSN: | 1574-0617 |
| DOI: | 10.3233/sat190101 |
| Popis: | In this paper, we discuss the most important changes and new features introduced with version 2.0 of our SMT solver Boolector, which placed first in the QF_BV and QF_ABV tracks of the SMT competition 2014. We further outline some features and techniques that where not yet described in the context of Boolector. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|