Some more aggregation for Boolean operators (needs to be extended to clauses and other operators)
Some more aggregation for Boolean operators (needs to be extended to clauses and other operators)

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