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. It is now available as a separate module.
Recipes
You can find a set of code recipes in the documentation directory.