Module OrtoolsSource

Sourcemodule Cp_model : sig ... end

Code for cp_model.proto

Sourcemodule Sat : sig ... end

Build a model for CP-SAT

Sourcemodule Sat_parameters : sig ... end

Code for sat_parameters.proto