The way to install IDP-Z3 depends on what components you need.
Using without installation
You can opt to use IDP-Z3 without installing anything through the online Interactive Consultant or IDE. You can open them in a new tab by clicking on either of the two buttons below.
Info
There are timeouts in place for the online editors – if model really difficult problems, you might hit them. When this occurs, it is best to install IDP-Z3 locally.
IDP-Z3 core
If you only require the core engine, for instance to integrate it in a Python project, you can install it via Pip:
pip3 install idp-engine
This also installs a command-line interface for IDP-Z3, which you can call as follows:
usage: idp-engine [-h] [--version] [-o OUTPUT] [--full-formula] [--no-timing] FILE
IDP-Z3
positional arguments:
FILE path to the .idp file
options:
-h, --help show this help message and exit
--version, -v show program's version number and exit
-o OUTPUT, --output OUTPUT
name of the output file
--full-formula show the full formula
--no-timing don't display timing information
Interactive Consultant
If you wish to also install the Interactive Consultant alongside IDP-Z3, you can follow the more detailed installation guide contained in our code repository.
IC installation guide