C++ Reference: lp_utils

This documentation is automatically generated.

Utility functions to interact with an lp solver from the SAT context.

Function Type Arguments Comments
ConvertBinaryMPModelProtoToBooleanProblem

Return type: bool

Arguments: const MPModelProto& mp_model, LinearBooleanProblem* problem

ConvertBooleanProblemToLinearProgram

Return type: void

Arguments: const LinearBooleanProblem& problem, glop::LinearProgram* lp

ConvertMPModelProtoToCpModelProto

Return type: bool

Arguments: const SatParameters& params, const MPModelProto& mp_model, CpModelProto* cp_model

FixVariablesFromSat

Return type: int

Arguments: const SatSolver& solver, glop::LinearProgram* lp

ScaleContinuousVariables

Return type: std::vector<double>

Arguments: double scaling, MPModelProto* mp_model

SolveLpAndUseIntegerVariableToStartLNS

Return type: bool

Arguments: const glop::LinearProgram& lp, LinearBooleanProblem* problem

SolveLpAndUseSolutionForSatAssignmentPreference

Return type: bool

Arguments: const glop::LinearProgram& lp, SatSolver* sat_solver, double max_time_in_seconds

Send feedback about...