Module Ortools_solvers

val version : int * int * int

Ortools version (major, minor, patch).

module Sat : sig ... end

Interface to CP-SAT.