package ocplib-simplex

  1. Overview
  2. Docs

Module OcplibSimplexSource

Sourcemodule AssertBounds : sig ... end
Sourcemodule Basic : sig ... end

The main entry point of the library. It provides a functor building each key module of OcplibSimplex.

Sourcemodule Core : sig ... end
module CoreSig : sig ... end
module ExtSigs : sig ... end
Sourcemodule Polys : sig ... end
Sourcemodule Rat2 : sig ... end

A representation of rationals bound, which is a pair of rationals:

Sourcemodule Result : sig ... end
Sourcemodule SolveBounds : sig ... end
Sourcemodule Version : sig ... end
OCaml

Innovation. Community. Security.