2019-Poolector

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