9.3 Invoking dzn exec

The dzn exec command runs any command with arguments.

dzn dzn-option… exec option… command-line…

The command-line can be anny command-line to run. This is helpful for a Docker container that has dzn as its entry point.

Running

dzn exec ltsconvert hello.aut hello.dot

runs dzn parse and returns the preprocessed stream for examples/hello.dzn.

The options can be among the following:

--help

-h

Display help on invoking dzn exec, and then exit.

--verbose

-v

Show the command to be executed.