13.3 spfz — FlatZinc Interpreter

Synopsis

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

Description

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

Options

-help, --help, -?

print help message

--version

print version

-a

return all solutions (equal to -n 0)

-f

solver is free to ignore search strategy (does nothing)

-n N

number of solutions (0 = all) (default: 1)

-o ofile

file to send output to (default: standard output stream)

-p P

number of cores available (does nothing)

-r R

random seed

-s

emit statistics

-t, -time T

time (in ms) cutoff (default: no cutoff)

-search S

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

See Also

lib-zinc.