tools/docker: Fix alpine build
Merge branch 'master' of github.com:google/or-tools
simplify code
Fixup doc
make: Fixup windows
fix deps
Update notebook
Travis-CI try to fix macOS build
update docker to support ubuntu 19.10