polkaversion Documentation on ocaml.org
Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
| Tags | clib:stdc clib:camlidl |
|---|---|
| Author | Bertrand Jeannnet |
| License | LGPL-2.1-or-later |
| Published | |
| Homepage | http://www-verimag.imag.fr/Lutin.html |
| Issue Tracker | http://www-verimag.imag.fr/Lutin.html |
| Maintainer | erwan.jahier@univ-grenoble-alpes.fr |
| Dependencies | |
| Source [http] | http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lutin.2.71.10.tgz md5=4d07d1263dbc90ab18cbaec55a57dcfe sha512=2e899aee5e44826827b3626771f7ce01241b1745d48f30b60404cc5cbaa44ac608920e9af3bf171275c429a8b823b3cee7542199b7c4c32919b6bb37e33bf8de |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/polka/polka.2.71.10/opam |
Required by
- lutin>=2.71.10
