Usually, ILASP should be run using a command of the following form:
ILASP --version=[2|2i|3|4] filename
For example:
ILASP --version=4 hamilton.las
There are many optional flags which can be added to the ILASP call. These are detailed in the table below.
| Flag | Description |
|---|---|
--batch-size=[integer] |
sets the batch size for the counterexample search (only effective in ILASP2i/3/4). |
--cache-path=[path] |
If the file exists, read cached data structures from a previous run. This file will be overwritten with the new data structures on exit. This allows ILASP2i/3/4 to be called on old tasks extended with new examples without starting from scratch. |
--clingo "path [options]" |
Use the Clingo executable at “path” with the specified options. Note that ILASP depends on Clingo 5. Also note that some options may interfere with ILASP’s procedure. |
--debug, -d |
print intermediate hypotheses and other information (only effective in ILASP2i/3/4). |
--max-rule-length=[integer] |
Set the maximum number of literals which may occur in each rule of the hypothesis. By default, this is 5. |
--max-translate |
Continue translating examples until the predicted score of the current hypothesis is correct (only effective in ILASP3/4). |
--max-wc-length=[integer] |
Set the maximum number of literals which may occur in each weak constraint in the hypothesis. By default, this is 3. |
-ml=[integer] |
Set the maximum number of literals which may occur in the body of each rule of the hypothesis. By default, this is 3. |
-ncp |
Disable the constraint propagation feature (only effective in ILASP3/4). |
--no-aggregates, -na |
Omit aggregates (choice rules) from the search space. |
--no-constraints, -nc |
Omit constraints from the search space. |
-nsp |
Disable the schema propagation feature (only effective in ILASP3). |
-p |
Print the PyLASP script that is used with the given configuration. |
--quiet, -q |
only print the solution and no other information. |
--restarts |
restart the solver for hypothesis search in every iteration (only effective in ILASP3/4). |
--search-space, -s |
Print the search space (generated from the mode bias). |
--simple |
simplify the representation of contexts (only effective in ILASP2/2i). |
--small-constraints |
Compute even smaller constraints in conflict analysis. This switches the constraint strategy from all-ufs to single-ufs (only effective in ILASP4). |
--task-program, -t |
Print the ASP meta-level representation of the task used by ILASP2. |
--version=[1|2|2i|3|4] |
choose the version of ILASP to run. Different versions are suited to different tasks. For more details run “ILASP –version-info”. |