package lp

  1. Overview
  2. Docs
LP and MIP modeling in OCaml

Install

Dune Dependency

Authors

Maintainers

Sources

0.0.2.tar.gz
md5=4bc3f413ebb6ce4078ed89e6da5285de
sha512=6393fcfc0a60584dc80dd4de4568b1463299f66223a1c85fff69080f498357175bd36697e3d3c7c4f7528d8be35b44789b676e7467c79c8bd477081c3118fc10

doc/lp/Lp/Cnstr/index.html

Module Lp.CnstrSource

Sourcetype t =
  1. | Eq of string option * Poly.t * Poly.t
  2. | Ineq of string option * Poly.t * Poly.t
Sourceval to_string : ?short:bool -> t -> string
Sourceval simplify_sides : Poly.t -> Poly.t -> Poly.t * Poly.t
Sourceval simplify : t -> t
Sourceval take_vars : t -> Var.t list
Sourceval eq : ?name:string option -> Poly.t -> Poly.t -> t
Sourceval lt : ?name:string option -> Poly.t -> Poly.t -> t
Sourceval gt : ?name:string option -> Poly.t -> Poly.t -> t
Sourceval (=$) : Poly.t -> Poly.t -> t
Sourceval (<$) : Poly.t -> Poly.t -> t
Sourceval (>$) : Poly.t -> Poly.t -> t
Sourceval trans_bound : string -> float -> float -> t -> t
Sourceval to_integer : string -> t -> t
Sourceval to_binary : string -> t -> t
OCaml

Innovation. Community. Security.