13.3 spfz — FlatZinc Interpreter

Synopsis

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

Description

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

Options

-help, --help, -?

Print a help message explaining the options.

-n N

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

-a

All solutions. The same as -n 0.

-search S

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

-t, -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.

-s

Emit post-execution statistics.

-o ofile

Redirect the output to file ofile.

See Also

lib-zinc.