package ocplib-simplex

  1. Overview
  2. Docs
module type Variables = sig ... end

Interface required for variables

module type Rationals = sig ... end

Interface required for rationnals

module type Coefs = sig ... end

Interface required for coefs

module type Value = sig ... end

Interface required for bounds and solutions

module type Explanations = sig ... end

Interface of explanations

module type MapSig = sig ... end
module type SetSig = sig ... end