package ocplib-simplex

  1. Overview
  2. Docs
val src : Logs.src
module Make (Var : ExtSigs.Variables) (R : ExtSigs.Rationals) (Ex : ExtSigs.Explanations) : CoreSig.S with module Var = Var and type R.t = R.t and type V.t = R.t and module Ex = Ex
module MakeExpert (Var : ExtSigs.Variables) (R : ExtSigs.Coefs) (V : ExtSigs.Value with type r = R.t) (Ex : ExtSigs.Explanations) (R2 : Rat2.SIG with module R = R and module V = V) (P : Polys.SIG with module Var = Var and module R = R) (MX : ExtSigs.MapSig with type key = Var.t) (SX : ExtSigs.SetSig with type elt = Var.t) : CoreSig.S with module Var = Var and module R = R and module V = V and module Ex = Ex and module P = P and module MX = MX and module SX = SX

Same than Make but allows to choose the implementation of polynomials, maps and sets

OCaml

Innovation. Community. Security.