Boolector at the SMT competition 2015

Type