|
CpSolverResponse | Solve (const CpModelProto &model_proto) |
| Solves the given CpModelProto and returns an instance of CpSolverResponse. More...
|
|
CpSolverResponse | SolveWithParameters (const CpModelProto &model_proto, const SatParameters ¶ms) |
| Solves the given CpModelProto with the given parameters. More...
|
|
std::string | CpModelStats (const CpModelProto &model) |
| Returns a string with some statistics on the given CpModelProto. More...
|
|
std::string | CpSolverResponseStats (const CpSolverResponse &response, bool has_objective=true) |
| Returns a string with some statistics on the solver response. More...
|
|
CpSolverResponse | SolveCpModel (const CpModelProto &model_proto, Model *model) |
| Solves the given CpModelProto. More...
|
|
CpSolverResponse | SolveWithParameters (const CpModelProto &model_proto, const std::string ¶ms) |
| Solves the given CpModelProto with the given sat parameters as string in JSon format, and returns an instance of CpSolverResponse. More...
|
|
std::function< void(Model *)> | NewFeasibleSolutionObserver (const std::function< void(const CpSolverResponse &response)> &observer) |
| Creates a solution observer with the model with model.Add(NewFeasibleSolutionObserver([](response){...}));. More...
|
|
void | SetSynchronizationFunction (std::function< CpSolverResponse()> f, Model *model) |
| If set, the underlying solver will call this function regularly in a deterministic way. More...
|
|
std::function< SatParameters(Model *)> | NewSatParameters (const std::string ¶ms) |
| Creates parameters for the solver, which you can add to the model with. More...
|
|
std::function< SatParameters(Model *)> | NewSatParameters (const SatParameters ¶meters) |
|