Boolector at the SMT competition 2018

Type