Boolector at the SMT competition 2017

Type