package ocplib-simplex

  1. Overview
  2. Docs

Parameters

Signature

module Core : CoreSig.S with module Var = Var and module R = R and module Ex = Ex

The core module defines the different data types used by the project and some functions to handle them.

module Assert : AssertBounds.S with module Core := Core
module Solve : SolveBounds.S with module Core := Core
module Result : Result.S with module Core := Core