Installation

The Imandra CLI, imandra, allows you to use Imandra's cloud APIs to submit IPL jobs, and more. The CLI is python based (it requires python3), and can be used from Unix, MacOS and Windows.

Install the Imandra CLI imandra on MacOS or Unix systems running the command below in a terminal:

sh <(curl -s "https://storage.googleapis.com/imandra-do/install.sh")

On Windows, you can use the command below from a powershell terminal:

(Invoke-WebRequest https://storage.googleapis.com/imandra-do/install.ps1).Content | powershell -