Boolector 2.0

Publication
JSAT