3 Search Results
ezdl
Easy dynamic linking of C functions from ocaml
2.71.15
CECILL-2.1
Used by 1 other packages
lutin
Lutin: modeling stochastic reactive systems
2.71.15
CECILL-2.1
Used by 1 other packages
polka
Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
2.71.15
LGPL-2.1-or-later
Used by 1 other packages