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
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