Boolector 2.0.

Aina Niemetz; Mathias Preiner; Armin Biere

doi:10.3233/sat190101

Boolector 2.0.

Aina Niemetz, Mathias Preiner, Armin Biere

Institute of Formal Models and Verification

Research output: Contribution to journal › Article › peer-review

Abstract

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 were not yet described in the context of Boolector.

Original language	English
Pages (from-to)	53-58
Number of pages	6
Journal	Journal on Satisfiability, Boolean Modeling and Computation
Volume	9
DOIs	https://doi.org/10.3233/sat190101
Publication status	Published - 2015

Fields of science

102 Computer Sciences
603109 Logic
202006 Computer hardware

JKU Focus areas

Computation in Informatics and Mathematics

Access to Document

10.3233/sat190101

Cite this

@article{ae66031c599f4019a9865194fb4c922c,

title = "Boolector 2.0.",

abstract = "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 were not yet described in the context of Boolector.",

author = "Aina Niemetz and Mathias Preiner and Armin Biere",

year = "2015",

doi = "10.3233/sat190101",

language = "English",

volume = "9",

pages = "53--58",

journal = "Journal on Satisfiability, Boolean Modeling and Computation",

issn = "1875-5011",

publisher = "IOS Press",

}

TY - JOUR

T1 - Boolector 2.0.

AU - Niemetz, Aina

AU - Preiner, Mathias

AU - Biere, Armin

PY - 2015

Y1 - 2015

N2 - 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 were not yet described in the context of Boolector.

AB - 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 were not yet described in the context of Boolector.

U2 - 10.3233/sat190101

DO - 10.3233/sat190101

M3 - Article

SN - 1875-5011

VL - 9

SP - 53

EP - 58

JO - Journal on Satisfiability, Boolean Modeling and Computation

JF - Journal on Satisfiability, Boolean Modeling and Computation

ER -