Command Line InterfaceΒΆ
IDP-Z3 can be run through a Command Line Interface, using poetry (see Installation):
poetry run python3 IDP-Z3.py path/to/file.idp
where path/to/file.idp is a relative path to the file containing the IDP program to be run. This file must contain a main block.
Alternatively, you can run it using pip-installed packages.
python3 IDP-Z3.py path/to/file.idp