polka

Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
IN THIS PACKAGE

Libraries

This package provides the following libraries (via dune):

polka

Documentation:

Dependencies: num, gmp, camlidl