Name		Name	Last commit message	Last commit date
parent directory ..
csharp		csharp
docs		docs
java		java
python		python
samples		samples
BUILD.bazel		BUILD.bazel
CMakeLists.txt		CMakeLists.txt
README.md		README.md
alldiff_cst.cc		alldiff_cst.cc
assignment.cc		assignment.cc
assignment.proto		assignment.proto
constraint_solver.cc		constraint_solver.cc
constraint_solver.h		constraint_solver.h
constraint_solveri.h		constraint_solveri.h
constraints.cc		constraints.cc
count_cst.cc		count_cst.cc
default_search.cc		default_search.cc
demon_profiler.cc		demon_profiler.cc
demon_profiler.proto		demon_profiler.proto
deviation.cc		deviation.cc
diffn.cc		diffn.cc
element.cc		element.cc
expr_array.cc		expr_array.cc
expr_cst.cc		expr_cst.cc
expressions.cc		expressions.cc
graph_constraints.cc		graph_constraints.cc
interval.cc		interval.cc
local_search.cc		local_search.cc
model_cache.cc		model_cache.cc
pack.cc		pack.cc
range_cst.cc		range_cst.cc
resource.cc		resource.cc
sched_constraints.cc		sched_constraints.cc
sched_expr.cc		sched_expr.cc
sched_search.cc		sched_search.cc
search.cc		search.cc
search_limit.proto		search_limit.proto
search_stats.proto		search_stats.proto
solver_parameters.proto		solver_parameters.proto
table.cc		table.cc
timetabling.cc		timetabling.cc
trace.cc		trace.cc
utilities.cc		utilities.cc
visitor.cc		visitor.cc

README.md

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.