The OpenSMT2 solver repository