sat_solver_utils.cc File Reference

Go to the source code of this file.

Namespaces
	operations_research
	The vehicle routing library lets one model and solve generic vehicle routing problems ranging from the Traveling Salesman Problem to more complex problems such as the Capacitated Vehicle Routing Problem with Time Windows.

Macros
#define	ADD_LP_PREPROCESSOR(name)

Functions
MPSolverResponseStatus	ApplyMipPresolveSteps (bool log_info, const glop::GlopParameters &glop_params, MPModelProto *model, std::vector< std::unique_ptr< glop::Preprocessor >> *for_postsolve)

Macro Definition Documentation

ADD_LP_PREPROCESSOR

#define ADD_LP_PREPROCESSOR

(

name

)

Value:

  names.push_back(#name);         \
  lp_preprocessors.push_back(absl::make_unique<name>(&glop_params));

Definition at line 23 of file sat_solver_utils.cc.