How to install imandra via python pip

- Operating System :: OS Independent
- Programming Language :: Python
- Programming Language :: Python :: 3

When you know about this project and you want to new install imandra to support your project or you get trouble as ModuleNotFoundError: No module named "imandra" or ImportError: cannot import name "imandra" in your project, let follow this tutorial to install imandra

Installation:

Step 1: First, ensure you installed pip in your os, to check pip has been installed on your computer

In Windows (CMD):

py -m pip --version

In Unix/macOS:

python3 -m pip --version

Ensure pip, setuptools, and wheel are up to date:

In Windows (CMD):

py -m pip install --upgrade pip setuptools wheel

In Unix/macOS:

python3 -m pip install --upgrade pip setuptools wheel

py -m pip install --user virtualenv

py -m venv test_imandra_env

test_imandra_env\Scripts\active

pip3 install virtualenv

python3 -m venv test_imandra_env

source test_imandra_env/bin/active

Step 2: OK, now, let flow below content to start the installation imandra

To install imandra on Windows(CMD):

py -m pip install imandra

To install imandra on Unix/macOs:

pip install imandra

Step 3: If you want to install a specific imandra version, add ==<imandra version> to the end command line

Example:

pip install imandra==0.1.3

Please see the version list below table:

py -m pip install imandra==0.1.12

pip install imandra==0.1.12

py -m pip install imandra==0.1.11

pip install imandra==0.1.11

py -m pip install imandra==0.1.10

pip install imandra==0.1.10

py -m pip install imandra==0.1.9

pip install imandra==0.1.9

py -m pip install imandra==0.1.5

pip install imandra==0.1.5

py -m pip install imandra==0.1.4

pip install imandra==0.1.4

py -m pip install imandra==0.1.3

pip install imandra==0.1.3

Step 4: Otherwise, you can install imandra from local archives:

Download the distribution file from imandra-0.1.12.tar.gz or the specific imandra version in the below list of distribution

After that, install by command:

On Windows(CMD):

py -m pip install <path_to_imandra_downloaded_file>

On Unix/macOs:

pip install <path_to_imandra_downloaded_file>

List distribution:

- imandra-0.1.3-py3-none-any.whl
- imandra-0.1.3.tar.gz
- imandra-0.1.4-py3-none-any.whl
- imandra-0.1.4.tar.gz
- imandra-0.1.5-py3-none-any.whl
- imandra-0.1.5.tar.gz
- imandra-0.1.9-py3-none-any.whl
- imandra-0.1.9.tar.gz
- imandra-0.1.10-py3-none-any.whl
- imandra-0.1.10.tar.gz
- imandra-0.1.11-py3-none-any.whl
- imandra-0.1.11.tar.gz
- imandra-0.1.12-py3-none-any.whl
- imandra-0.1.12.tar.gz

Project link:

- Homepage