v6.6 (2017-11)

Updates to required dependencies

• Protobuf to 3.3.0 -> 3.5.0.
• gflags to 2.2.0 -> 2.2.1.
• CBC 2.9.8 -> 2.9.9.
• Add Python module six (1.10) as required dependency for Python.

Bugfixes

• Pull request #494 Name refactoring. Adding comments for IntelliSense in some editors.
  Thanks to Matthew Moore.
• Pull request #516 Instruction for F# standalone binary.
  Thanks to Matthew Moore.
• Improve precision in Glop.

SAT Solver

• Improve internal SAT solver, Fix various bugs.
• Add a VRP constraint to the SAT solver, linked to the LP solver.
• Change the solution observer in the SAT solver to take a CpSolverResponse as a parameter.
• Improve the use of Glop in SAT Solver.
• Speedup SAT-LP connection.
• Add Reservoir constraint to the SAT cp_model protobuf format.

SAT/Python

• Introduction of the SAT API in Python.

• Code in ortools/sat/python/cp_model.py.

• Add examples in examples/python/:

  • assignement_sat.py
  • assignment_with_constraints_sat.py
  • code_samples_sat.py
  • cp_is_fun_sat.py
  • gate_scheduling_sat.py
  • hidato_sat.py
  • jobshop_ft06_sat.py
  • nqueens_sat.py
  • nurses_sat.py
  • rcpsp_sat.py
  • steel_mill_slab_sat.py
  • worker_schedule_sat.py

• Add support for IPython notebook.

• Python examples are exported to notebooks and available in examples/notebook.

Examples

• Rewrite rcpsp_parser to use ProtoBuf format to store the problem.
• Improve RCPSP parser.

Full list of commits since v6.5 here