Bug-Database: https://github.com/google/or-tools/issues
Bug-Submit: https://github.com/google/or-tools/issues/new
Repository: https://github.com/google/or-tools.git
Repository-Browse: https://github.com/google/or-tools
