Ortools_solvers.SatInterface to CP-SAT.
val raw : Ortools.Sat.raw_solverDirect access to the underlying solver.
val solve :
?observer:(Ortools.Sat.Response.t -> unit) ->
?parameters:Ortools.Sat.Parameters.t ->
Ortools.Sat.model ->
Ortools.Sat.Response.tTry to solve the given model.
val proto_solve :
?observer:(Ortools.Cp_model.cp_solver_response -> unit) ->
?parameters:Ortools.Sat_parameters.sat_parameters ->
Ortools.Cp_model.cp_model_proto ->
Ortools.Cp_model.cp_solver_responseAs for solve but use protocol buffers directly.