Module Ortools_solvers

module Sat : sig ... end

Interface to CP-SAT.