# Constants
A feasible solution as been found.
The problem has been proven infeasible.
The given CpModelProto didn't pass the validation step.
An optimal feasible solution has been found.
The status of the model is still unknown.
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Default values for SatParameters fields.
Similar to lock based rounding except this only considers locks of active constraints from the last lp solve.
Try to fix all literals using the underlying SAT solver's heuristics, then generate and fix literals until integer variables are fixed.
No description provided by the author
No description provided by the author
No description provided by the author
Order clause by decreasing activity, then by increasing LBD.
Order clause by increasing LBD, then by decreasing activity.
No description provided by the author
Moving average restart based on the decision level of conflicts.
No description provided by the author
No description provided by the author
Fixed period restart every restart period.
If used then all decisions taken by the solver are made using a fixed order as specified in the API or in the CpModelProto search_strategy field.
Mainly used internally.
As specified by the problem.
No description provided by the author
No description provided by the author
Moving average restart based on the LBD of conflicts.
Counts the number of linear constraints restricting the variable in the increasing values (up locks) and decreasing values (down locks).
If used, the solver will use heuristics from the LP relaxation.
Just follow a Luby sequence times restart_period.
Rounds to the nearest integer value.
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
The opposite choice of POLARITY_WEIGHTED_SIGN.
No description provided by the author
Choose the sign that tends to satisfy the most constraints.
If used, the solver will use various generic heuristics in turn.
Mainly exposed here for testing.
This is expensive rounding algorithm.
Protect all clauses whose activity is bumped.
Only protect clause with a better LBD.
No protection.
If used, the solver uses the pseudo costs for branching.
No description provided by the author
No description provided by the author
Start with all literals.
Start with literals with the highest weight, and when SAT, add the literals with the next highest weight and so on.
No stratification of the problem.
# Variables
Enum value maps for CpSolverStatus.
Enum value maps for CpSolverStatus.
Enum value maps for DecisionStrategyProto_DomainReductionStrategy.
Enum value maps for DecisionStrategyProto_DomainReductionStrategy.
Enum value maps for DecisionStrategyProto_VariableSelectionStrategy.
Enum value maps for DecisionStrategyProto_VariableSelectionStrategy.
Default values for SatParameters fields.
Default values for SatParameters fields.
No description provided by the author
No description provided by the author
Enum value maps for SatParameters_BinaryMinizationAlgorithm.
Enum value maps for SatParameters_BinaryMinizationAlgorithm.
Enum value maps for SatParameters_ClauseOrdering.
Enum value maps for SatParameters_ClauseOrdering.
Enum value maps for SatParameters_ClauseProtection.
Enum value maps for SatParameters_ClauseProtection.
Enum value maps for SatParameters_ConflictMinimizationAlgorithm.
Enum value maps for SatParameters_ConflictMinimizationAlgorithm.
Enum value maps for SatParameters_FPRoundingMethod.
Enum value maps for SatParameters_FPRoundingMethod.
Enum value maps for SatParameters_MaxSatAssumptionOrder.
Enum value maps for SatParameters_MaxSatAssumptionOrder.
Enum value maps for SatParameters_MaxSatStratificationAlgorithm.
Enum value maps for SatParameters_MaxSatStratificationAlgorithm.
Enum value maps for SatParameters_Polarity.
Enum value maps for SatParameters_Polarity.
Enum value maps for SatParameters_RestartAlgorithm.
Enum value maps for SatParameters_RestartAlgorithm.
Enum value maps for SatParameters_SearchBranching.
Enum value maps for SatParameters_SearchBranching.
Enum value maps for SatParameters_VariableOrder.
Enum value maps for SatParameters_VariableOrder.
# Structs
All variables must take different values.
This constraint forces a sequence of variables to be accepted by an automaton.
Argument of the constraints of the form OP(literals).
The circuit constraint is defined on a graph where the arc presence are controlled by literals.
Another routing constraint.
Next id: 29.
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
A constraint programming problem.
Optimization objective.
The response returned by a solver trying to solve a CpModelProto.
The sum of the demands of the intervals at each interval point cannot exceed a capacity.
Define the strategy to follow when the solver needs to take a new decision.
Advanced usage.
The constraint target = vars[index].
Argument of the constraints of the form target_var = OP(vars).
An integer variable.
This "special" constraint not only enforces (start + size == end) but can also be referred by other constraints using this "interval" concept.
The two arrays of variable each represent a function, the second is the inverse of the first: f_direct[i] == j <=> f_inverse[j] == i.
No description provided by the author
The linear sum vars[i] * coeffs[i] must fall in the given domain.
No description provided by the author
The boxes defined by [start_x, end_x) * [start_y, end_y) cannot overlap.
All the intervals (index of IntervalConstraintProto) must be disjoint.
This message encodes a partial (or full) assignment of the variables of a CpModelProto.
Maintain a reservoir level within bounds.
The "VRP" (Vehicle Routing Problem) constraint.
Contains the definitions for all the sat algorithm parameters and their default values.
The values of the n-tuple formed by the given variables can only be one of the listed n-tuples in values.
# Type aliases
The status returned by a solver trying to solve a CpModelProto.
Once a variable has been chosen, this enum describe what decision is taken on its domain.
The order in which the variables above should be considered.
Whether to expoit the binary clause to minimize learned clauses further.
The clauses that will be kept during a cleanup are the ones that come first under this order.
Each time a clause activity is bumped, the clause has a chance to be protected during the next cleanup phase.
Do we try to minimize conflicts (greedily) when creating them.
Rounding method to use for feasibility pump.
In what order do we add the assumptions in a core-based max-sat algorithm.
What stratification algorithm we use in the presence of weight.
Specifies the initial polarity (true/false) when the solver branches on a variable.
Restart algorithms.
The search branching will be used to decide how to branch on unfixed nodes.
Variables without activity (i.e.