Usage: walk [options] PROJECT

Computes the minimal solution of an integer linear program
or, more general, a lattice program using a Groebner basis.

Input Files:
  PROJECT.mat         A matrix (optional only if lattice basis is given).
  PROJECT.lat         A lattice basis (optional only if matrix is given).
  PROJECT.gro.start   The starting Groebner basis (needed).
  PROJECT.gro.cost    The starting cost vector (optional, default is degrevlex).
                      Ties are broken with degrevlex.
  PROJECT.cost        The target cost vector (optional, default is degrevlex).
                      Ties are broken with degrevlex.
  PROJECT.zsol        An integer solution to specify a fiber (needed).
  PROJECT.sign        The sign constraints of the variables ('1' means
                      non-negative and '0' means a free variable).
                      It is optional, and the default is all non-negative.
Output Files:
  PROJECT.gro         The Groebner basis of the lattice.

Options:
  -p, --precision=PREC       Select PREC as the integer arithmetic precision.
                             PREC is one of the following: `64' (default),
                             `32', and `arbitrary' (only `arb` is needed).
  -t, --truncation=TRUNC     Set TRUNC as the truncation method.  TRUNC is
                             of the following: `ip', `lp', `weight' (default),
                             or `none'. Only relevant if `zsol' is given.
  -f, --output-freq=n        Set the frequency of output (default is 1000).
  -q, --quiet                Do not output anything to the screen.
  -h, --help                 Display this help and exit.