Boolector at the SMT competition 2016

Type