The Octagon abstract domain library. http://www.di.ens.fr/~mine/oct (0)

by A Miné