This package provides Ocaml bindings to Normaliz.
- Install dependencies.
opam install ctypes-foreign gmp
- Pin the package and install. In
normalizffi:
opam pin .
The library is available as normalizffi, and exports the module Normaliz.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This package provides Ocaml bindings to Normaliz.
opam install ctypes-foreign gmp
normalizffi:opam pin .
The library is available as normalizffi, and exports the module Normaliz.