13.3 spfz — FlatZinc Interpreter


% spfz [-help | --help | -?] [-n N | -a] [-search S] [-time T] [-r R] [-s] [-o ofile] fznfile


This tool interprets the FlatZinc (‘.fzn’) file fznfile with options taken from the command line.


-help, --help, -?

Print a help message explaining the options.

-n N

Number of solutions. The default is 1; 0 means all solutions.


All solutions. The same as -n 0.

-search S

Optimization method is S, one of bab (the default) and restart.

-time T

Time cutoff after T ms.

-r R

Set the random seed to R first. The default is to use the same random seed every run.


Emit post-execution statistics.

-o ofile

Redirect the output to file ofile.

See Also


Send feedback on this subject.