b1f07cadb0
SWIG is broken since absl::string_view can't be converted to Java String note: swig 4.2.0 may have the builtin support for std::string_view
Constraint Programming (CP) and Routing Solver
This directory contains a Constraint Programming (CP) solver and a Vehicle Routing solver.
CP solver
Constraint Programming is a technology issued from AI and used in operations research.
To begin, skim:
- constraint_solver.h: Declaration of the core objects for the constraint solver.
- constraint_solveri.h: Collection of objects used to extend the Constraint Solver library.
Parameters
- solver_parameters.proto: This file contains protocol buffers for all parameters of the CP solver.
- search_limit.proto: Holds parameters to limit the search space within the CP solver, which is important for performance.
Solution
- assignment.proto: Holds the solution of a CP problem.
- demon_profiler.proto: Holds the timeline and execution profile of constraints and demons (daemons).
Routing solver
Vehicle Routing is a useful extension that is implemented on top of the CP solver library.
To begin, skim:
- routing.h: 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.
Parameters
- routing_parameters.proto: The Vehicle Routing solver parameters.
- routing_enums.proto: Enums used to define routing parameters.
Solution
- assignment.proto: Holds the solution of a Routing problem.
Recipes
You can find a set of code recipes in the documentation directory.