package ortools

  1. Overview
  2. Docs
Build and export Google OR-Tools models

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (5)

Authors

  1. T
    Timothy Bourke <tim@tbrk.org>

Maintainers

  1. T
    Timothy Bourke <tim@tbrk.org>

Sources

ortools-9.15.0-3.tbz
sha256=2dfa5a221f07e7756afda6f23d066aae8ebb73254e201a44921f24e0491c5f7b
sha512=be451a999703a032444c632e0c87b4e391449cee0daa9f4837b0798fc7b8b1ce10abf7bc11dc7439a381a9281a7fb02b9239c75c3df0e4e70d2c690eeb8ae78c

doc/ortools/Ortools/Sat/LinearExpr/L/index.html

Module LinearExpr.LSource

Operators for building linear expressions. They are also available directly in the Sat module.

Sourceval zero : t

An empty linear expression.

Sourceval var : 'a Var.t -> t

A single variable.

Sourceval (*) : int -> 'a Var.t -> t

A single term.

Sourceval (+) : t -> t -> t

Concatenatation of two linear expressions.

Sourceval (-) : t -> t -> t

Concatenatation of the left expression with the negation of the right expression.

Sourceval scale : int -> t -> t

Multiplication of a linear expression by a constant.

Sourceval of_int : int -> t

A constant linear expression.

Complement a boolean literal. Same as Var.not.