Module Ortools

module Cp_model : sig ... end

Code for cp_model.proto

module Sat : sig ... end

Build a model for CP-SAT

module Sat_parameters : sig ... end

Code for sat_parameters.proto