To build, run `python -m build` from the main directory. To upload to pypi, run `twine upload ...`. The wheel binary should be obtained from `https://github.com/msoos/cryptominisat/actions/workflows/wheel-builder.yml`
