Bounds reasoning for integer division and modulo
Bounds reasoning for integer division and modulo

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