Added support for constraints to BooleanMCSat.