v2016-06

Examples:

• c++: getting rid of filelinereader in examples
• data: Add single machine scheduling problems

Sat:

• Remove unused core method (Resolution nodes)
• Added drat writer to checks proofs on unsatisfiability
• Add preprocessor

Documentation:

• Lots of cleanup in the header files.
• Please check the new documentation at https://developers.google.com/optimization/

Bop:

• Add new neighborhoods

Constraint Solver:

• Removed most of the instances of the callbacks (src/base/callback.h) from the CP library
• Added NotMemberCt (variable cannot belong to a set of intervals)

Routing library:

• INCOMPATIBLE CHANGE: To specify the capacity of vehicles in the AddDimensionWithVehicleCapacity, you now need to pass an array (vector in c++) instead of a callback.

GLOP:

• Change internal representation of sparse matrix
• performance improvements

Graph:

• Added A* contributed code
• Rewrite Dijkstra and Bellman-Ford algorithms to replace callbacks by std::function (C++)
• Change API of different graph implementation when iterating over arcs and nodes.