Multi-platform binary creation for solvers of the versions most suitable for use with What4 - View it on GitHub