Searched defs:mp_model (Results 1 – 2 of 2) sorted by relevance
| /dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
| H A D | lp_utils.cc | 63 MPModelProto* mp_model) { in ApplyVarScaling()
103 MPModelProto* mp_model) { in ScaleContinuousVariables()
146 double GetIntegralityMultiplier(const MPModelProto& mp_model, in GetIntegralityMultiplier()
185 MPModelProto* mp_model, in MakeBoundsOfIntegerVariablesInteger()
222 void RemoveNearZeroTerms(const SatParameters& params, MPModelProto* mp_model, in RemoveNearZeroTerms()
276 const MPModelProto& mp_model, in MPModelProtoValidationBeforeConversion()
339 std::vector<double> DetectImpliedIntegers(MPModelProto* mp_model, in DetectImpliedIntegers()
621 const MPModelProto& mp_model, const MPConstraintProto& mp_constraint, in AddConstraint()
763 const MPModelProto& mp_model, in ConvertMPModelProtoToCpModelProto()
1072 bool ConvertBinaryMPModelProtoToBooleanProblem(const MPModelProto& mp_model, in ConvertBinaryMPModelProtoToBooleanProblem()
|
| /dports/math/py-or-tools/or-tools-9.2/ortools/linear_solver/ |
| H A D | sat_proto_solver.cc | 172 MPModelProto* const mp_model = request.mutable_model(); in SatSolveProto() local
|