Ppl is a project mainly written in ..., it's free.

The Parma Polyhedra Library: a library of numerical abstractions