Migrating to GitHub, download it here https://github.com/controlx-io/logic-prover-support/wiki/Downloads