solvertools-data-2021.zip is not actually present on tools.ireproof.org

[codeman38]

The solvertools-data-2021.zip file referenced in the README is not actually present on the server:

% wget http://tools.ireproof.org/static/solvertools-data-2021.zip
--2021-08-08 15:23:22--  http://tools.ireproof.org/static/solvertools-data-2021.zip
Resolving tools.ireproof.org (tools.ireproof.org)... 107.23.52.168
Connecting to tools.ireproof.org (tools.ireproof.org)|107.23.52.168|:80... connected.
HTTP request sent, awaiting response... 404 NOT FOUND
2021-08-08 15:23:22 ERROR 404: NOT FOUND.

[Jinan-Dangor]

Having the same issue, really hope this gets resolved.

[codeman38]

As a temporary workaround until this is fixed, you can check out the 2020.0 tag and use http://tools.ireproof.org/static/solvertools-data-2020.tar.gz.