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 (4)

Authors

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

Maintainers

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

Sources

ortools-9.15.0-2.tbz
sha256=b4de105eb8df75b0600459b333f274a4da558145aff3f0754897742a63881b61
sha512=063de9edfea678a60ed34f6640cd094f02bfe7d34bf744f2b35e58bcfbde35fb59496061d33b2de39a57e56e7a8286288e6cb663f0b05cf1f488fa359102d28e

Description

Google OR-Tools is an open source software suite for optimization, tuned for tackling the world's toughest problems in vehicle routing, flows, integer and linear programming, and constraint programming. This package provides OCaml functions for working with the Protocol Buffer formats that are read and written by the different solvers. It does not actually depend on the OR-Tools software, which need not even be installed. The interface currently only supports a subset of the features provided by the CP-SAT solver. Pull requests for more features and solvers are welcome.

Published: 20 Jun 2026

README

OCaml interface to Google OR-Tools

Currently only a subset of CP-SAT is supported.

Pull requests providing the missing features are welcome, but please pay attention to documentation and tests.

This project provides two packages:

  • ortools is an OCaml interface for building CP-SAT models. It does not require an installation of OR-Tools as it simply works with the protocol buffer format. See utils/sat_solve_pb.{c,py} for examples of interfacing with the CP-SAT solver.
  • ortools_solvers builds on ortools to provide a simple OCaml interface for calling CP-SAT. This package builds its own version of OR-Tools and, on Linux, the libraries abseil, re2, protobuf, and protobuf-c.

Online docs: https://inria.github.io/ocaml-ortools/

opam install ocamlfind ortools_solvers
ocamlfind ocamlopt -o cp_is_fun_sat.exe \
            -package ortools_solvers -linkpkg \
            samples/sat/cp_is_fun_sat.ml
./cp_is_fun_sat.exe

TODOs

  • Finish migrating OR-Tools sat/samples
  • Use alcotest to test the interface.
  • CP-SAT: Support Interval constraints
  • CP-SAT: Support NoOverlap constraints
  • CP-SAT: Support NoOverlap2D constraints
  • CP-SAT: Support Element constraints
  • CP-SAT: Support Circuit constraints
  • CP-SAT: Support Routes constraints
  • CP-SAT: Support Table constraints
  • CP-SAT: Support Automaton constraints
  • CP-SAT: Support Inverse constraints
  • CP-SAT: Support Reservoir constraints
  • CP-SAT: Support Cumulative constraints
  • CP-SAT: Support Dummy constraints
  • Support other solvers

Dependencies (3)

  1. pbrt >= "4.0"
  2. dune >= "3.21"
  3. ocaml >= "4.14.2"

Dev Dependencies (1)

  1. odoc with-doc

Used by (1)

  1. ortools_solvers

Conflicts

None