package ocplib-simplex

  1. Overview
  2. Docs

Module OcplibSimplex.CoreSource

Sourceval src : Logs.src
Sourcemodule Make (Var : ExtSigs.Variables) (R : ExtSigs.Rationals) (Ex : ExtSigs.Explanations) : CoreSig.S with module Var = Var and module R = R and module Ex = Ex
OCaml

Innovation. Community. Security.