Is there a way to download the problems via an API, or have them available in a file like https://norvig.com/top95.txt?
It would make a great dataset for benchmarking different solver approaches.
It would make a great dataset for benchmarking different solver approaches.