ocplib-simplex 0.5

Libraries

This package provides the following libraries (via dune):

ocplib-simplex

Documentation:

• OcplibSimplex.AssertBounds
• OcplibSimplex.Basic The main entry point of the library. It provides a functor building each key module of OcplibSimplex.
• OcplibSimplex.Core
• OcplibSimplex.CoreSig
• OcplibSimplex.ExtSigs
• OcplibSimplex.Polys
• OcplibSimplex.Rat2 A representation of rationals bound, which is a pair of rationals:
• OcplibSimplex.Result
• OcplibSimplex.SolveBounds
• OcplibSimplex.Version

Dependencies: num, logs