September 2017 release of OR-Tools.