Boolector at the SMT competition 2014

Type