C++ Reference: cp_model_solver
Note: This documentation is automatically generated.
| Function |
Type |
Arguments |
Comments |
CpModelStats | Return type: std::string Arguments: const CpModelProto& model |
CpSolverResponseStats | Return type: std::string Arguments: const CpSolverResponse& response, bool has_objective = true |
NewFeasibleSolutionObserver | Return type: std::function<void(Model*)> Arguments: const std::function<void(const CpSolverResponse& response)>& observer |
NewSatParameters | Return type: std::function<SatParameters(Model*)> Arguments: const std::string& params |
NewSatParameters | Return type: std::function<SatParameters(Model*)> Arguments: const SatParameters& parameters |
Solve | Return type: CpSolverResponse Arguments: const CpModelProto& model_proto |
SolveCpModel | Return type: CpSolverResponse Arguments: const CpModelProto& model_proto, Model* model |
SolveWithParameters | Return type: CpSolverResponse Arguments: const CpModelProto& model_proto, const SatParameters& params |
SolveWithParameters | Return type: CpSolverResponse Arguments: const CpModelProto& model_proto, const std::string& params |
Except as otherwise noted, the content of this page is licensed under the Creative Commons Attribution 4.0 License, and code samples are licensed under the Apache 2.0 License. For details, see the Google Developers Site Policies. Java is a registered trademark of Oracle and/or its affiliates.
Last updated 2024-08-06 UTC.
[null,null,["Last updated 2024-08-06 UTC."],[[["The `cp_model_solver` provides functions to solve Constraint Programming (CP) models using the CP-SAT solver."],["It includes functions like `Solve`, `SolveCpModel`, and `SolveWithParameters` to find solutions for given CP models."],["Users can obtain statistics about the model and solver response using `CpModelStats` and `CpSolverResponseStats`."],["Functionality exists to create new feasible solution observers and define SAT parameters for the solver."],["All functions primarily interact with `CpModelProto`, `CpSolverResponse`, and `SatParameters` data structures."]]],[]]
