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.
Print a help message explaining the options.
Number of solutions. The default is 1; 0 means all solutions.
All solutions. The same as -n 0.
Optimization method is S, one of
bab (the default) and
Time cutoff after T ms.
Set the random seed to R first. The default is to use the same random seed every run.
Emit post-execution statistics.
Redirect the output to file ofile.