[[["Easy to understand","easyToUnderstand","thumb-up"],["Solved my problem","solvedMyProblem","thumb-up"],["Other","otherUp","thumb-up"]],[["Missing the information I need","missingTheInformationINeed","thumb-down"],["Too complicated / too many steps","tooComplicatedTooManySteps","thumb-down"],["Out of date","outOfDate","thumb-down"],["Samples / code issue","samplesCodeIssue","thumb-down"],["Other","otherDown","thumb-down"]],["Last updated 2024-08-06 UTC."],[[["\u003cp\u003eThe \u003ccode\u003ecp_model_solver\u003c/code\u003e provides functions to solve Constraint Programming (CP) models using the CP-SAT solver.\u003c/p\u003e\n"],["\u003cp\u003eIt includes functions like \u003ccode\u003eSolve\u003c/code\u003e, \u003ccode\u003eSolveCpModel\u003c/code\u003e, and \u003ccode\u003eSolveWithParameters\u003c/code\u003e to find solutions for given CP models.\u003c/p\u003e\n"],["\u003cp\u003eUsers can obtain statistics about the model and solver response using \u003ccode\u003eCpModelStats\u003c/code\u003e and \u003ccode\u003eCpSolverResponseStats\u003c/code\u003e.\u003c/p\u003e\n"],["\u003cp\u003eFunctionality exists to create new feasible solution observers and define SAT parameters for the solver.\u003c/p\u003e\n"],["\u003cp\u003eAll functions primarily interact with \u003ccode\u003eCpModelProto\u003c/code\u003e, \u003ccode\u003eCpSolverResponse\u003c/code\u003e, and \u003ccode\u003eSatParameters\u003c/code\u003e data structures.\u003c/p\u003e\n"]]],["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,[]]
