Release of or-tools. November 2016

November 2016

Running examples

• Introduced language specific targets to compile and run the examples. Please check this page for more details.

Sat

• Added support for constraint programming.
• Implemented the diffn, cumulative , circuit and subcircuit constraints.
• Implemented the overlode checker on the basis of Max Energy Filtering Algorithm for Discrete Cumulative Constraint.
• Implemented the all different bound consistent propagator which implements better propagation for the AllDifferent constraint.

FlatZinc

• Implemented a SAT solver for FlatZinc problems.

Constraint Solver

• Implemented the following constraints :
• atMost: Sets an upper bound to the count of variables that are equal to a given value.
• MakePathPrecedenceConstraint and MakePathTransitPrecedenceConstraint: Implement the precedence constraint for a set of pairs.

Routing

• Implemented AddAtSolutionCallback, which is a callback called each time a solution is found during the search.
• Removed the RoutingModel depot-less constructors. Specifying at least one depot in the routing model is now mandatory.