2019-Boolector

Competing	no
Single Query Track	QF_ABV, QF_BV
Incremental Track
Unsat Core Track
Model Validation Track	QF_BV
Preliminary ID	23380
Final ID	23711
Seed
System Description	Boolector at the SMT Competition 2019
Variant of Submission ID
Derived from Solver
Wrapped Solvers
Website	https://boolector.github.io
Team Members	Aina Niemetz, Mathias Preiner, Armin Biere