Input

domain-files

The domain-specific ASP encodings that will generate solutions to the problem (including the instance). These files will be used by the domain-control. They are provided when starting the server via the command line in argument --domain-files.

ui-files

The encoding that will generate the ui-state using the domain-state as input. They are provided when starting the server via the command line in argument --ui-files.