Apron Library together with an old version of ELINA (The ETH LIbrary for Numerical Analysis) - View it on GitHub