December 2015 release of OR-Tools