Compute domain instead of bounds for a multiplication of a constant with a 0/1 variable
Compute domain instead of bounds for a multiplication of a constant with a 0/1 variable

jjdekker/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,nathanielbaxter/libminizinc,jjdekker/libminizinc,nathanielbaxter/libminizinc,tias/libminizinc,jjdekker/libminizinc,tias/libminizinc