Jeremy Saklad 57a2e9ce36 fix: Restore default number of workers ... OR-Tools 9.3 no longer seems to use more than one worker by default, so this parameter is once again set by the script. The parameter has also been changed from num_search_workers to num_workers internally, though the former is mapped to the latter.		2022-04-19 10:02:03 -05:00
..
data	Add leg fascination to Diplomat	2021-11-02 15:26:08 -05:00
objects	Fix regression in intermediate variables	2022-02-15 09:55:55 -06:00
__main__.py	Fix regression in help output	2022-04-11 14:59:16 -05:00
solve.py	fix: Restore default number of workers	2022-04-19 10:02:03 -05:00