Command Line InterfaceΒΆ

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

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