Boolector at the SMT competition 2015. Technical Report 15/1

Aina Niemetz; Mathias Preiner; Armin Biere

Boolector at the SMT competition 2015. Technical Report 15/1

Aina Niemetz
, Mathias Preiner
, Armin Biere

Institut für Formale Modelle und Verifikation

Publikation: Preprints, Working Paper und Forschungsberichte › Forschungsbericht

Abstract

This paper serves as solver description for our SMT solver Boolector, entering the SMT Competition 2015 in three different configurations. We only list important differences to the earlier version of Boolector that participated in the SMT Competition 2014 [2]. For further information we refer to [3] or source code.

Originalsprache	Englisch
Erscheinungsort	Linz
Herausgeber	Johannes Kepler Universität
Seitenumfang	1
Band	15/1
Publikationsstatus	Veröffentlicht - Juni 2015

Wissenschaftszweige

102 Informatik
603109 Logik
202006 Computer Hardware

JKU-Schwerpunkte

Computation in Informatics and Mathematics

Dieses zitieren

@techreport{721d14318f5a434fa04d038cefd94582,

title = "Boolector at the SMT competition 2015. Technical Report 15/1",

abstract = "This paper serves as solver description for our SMT solver Boolector, entering the SMT Competition 2015 in three different configurations. We only list important differences to the earlier version of Boolector that participated in the SMT Competition 2014 [2]. For further information we refer to [3] or source code.",

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

year = "2015",

month = jun,

language = "English",

volume = "15/1",

publisher = "Johannes Kepler Universit{\"a}t",

type = "WorkingPaper",

institution = "Johannes Kepler Universit{\"a}t",

}

TY - UNPB

T1 - Boolector at the SMT competition 2015. Technical Report 15/1

AU - Niemetz, Aina

AU - Preiner, Mathias

AU - Biere, Armin

PY - 2015/6

Y1 - 2015/6

N2 - This paper serves as solver description for our SMT solver Boolector, entering the SMT Competition 2015 in three different configurations. We only list important differences to the earlier version of Boolector that participated in the SMT Competition 2014 [2]. For further information we refer to [3] or source code.

AB - This paper serves as solver description for our SMT solver Boolector, entering the SMT Competition 2015 in three different configurations. We only list important differences to the earlier version of Boolector that participated in the SMT Competition 2014 [2]. For further information we refer to [3] or source code.

M3 - Research report

VL - 15/1

BT - Boolector at the SMT competition 2015. Technical Report 15/1

PB - Johannes Kepler Universität

CY - Linz

ER -