Command Line InterfaceΒΆ

IDP-Z3 can be run through a Command Line Interface.

If you have downloaded IDP-Z3 from the GitLab repo, you may run the CLI using poetry (see Installation):

poetry run python3 idp-solver.py path/to/file.idp

where path/to/file.idp is the path to the file containing the IDP program to be run. This file must contain a main block.

Alternatively, if you installed it via pip, you can run it with the following command:

idp-solver path/to/file.idp