![]() |
OR-Tools
8.1
|
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. | |
operations_research::sat | |
Functions | |
std::string | SatStatusString (SatSolver::Status status) |
void | MinimizeCore (SatSolver *solver, std::vector< Literal > *core) |
BooleanVariable var |
Definition at line 2350 of file sat_solver.cc.
int weight |
Definition at line 2351 of file sat_solver.cc.