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.

Interactive Consultant webIDE


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


positional arguments:
  FILE                  path to the .idp file

  -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