Use widening delay of three everywhere when testing the sum domain.
Move the Parallelotope class inside ParallelotopeDomain.
Add a countNonZero universal function to Breeze.
Update compilers, libraries and tools.
Improve the Parallelotope and Int + Paralleotope domains.