Stay organized with collections
Save and categorize content based on your preferences.
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 core content outlines C++ functions for constraint programming model solving. Key actions include: generating statistics for a `CpModelProto` or `CpSolverResponse`, creating observers for feasible solutions, and defining `SatParameters`. Functions are provided to `Solve` a `CpModelProto` directly or with specific parameters, either as a string or as `SatParameters`. `SolveCpModel` is provided for solving a `CpModelProto` with a given model.\n"],null,[]]