Ortools_solvers.Sat
Interface to CP-SAT.
val solve : ?parameters:Ortools.Sat.Parameters.t -> Ortools.Sat.model -> Ortools.Sat.Response.t
Try to solve the given model.