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
DetectImpliedIntegers	Return type: std::vector<double> Arguments: bool log_info, MPModelProto* mp_model
FindRationalFactor	Return type: int Arguments: double x, int limit = 1e4, double tolerance = 1e-6
FixVariablesFromSat	Return type: int Arguments: const SatSolver& solver, glop::LinearProgram* lp
RemoveNearZeroTerms	Return type: void Arguments: const SatParameters& params, MPModelProto* mp_model
ScaleContinuousVariables	Return type: std::vector<double> Arguments: double scaling, double max_bound, 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