Release of or-tools. August 2016

Constraint solver

• solver
  • Implemented NotBetween method to constrain a variable to be
    outside a given interval.
• routing
  • Added a parse of the model to check existing NotMember constraints as shown in this example, and use them in local search filters.
  • Added local search profiling.
  • Fix for local moves.

Linear solver

• Fixed SCIP status reporting.

Sat

• Implemented [SolveWithPresolve](https://github.com/google/or-tools/blob/master/src/sat/simplification.h### L373) method to simplify the usage of the SAT presolver.
• Regrouped search utils in src/sat/util.h|cc.
• Implemented SMT (Lazy Clause Generation) scheduling constraints: see jobshop_sat.cc and weighted_tardiness_sat.cc.

Glop

• Improved performance by exploiting sparsity in more stages of computation.

Flatzinc

• Fixed bugs found by minizinc challenge.

Lp_data

• Continued simplification of templates in iterators.

Or-tools distribution

• C# assemblies are now strongly named by default.
• Upgraded to Protobuf3.0.0.
• Added a Python script to check or-tools archive dependencies.