Usage: minimize [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.cost        The cost vector. Exactly one vector allowed.
  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.min         The minimal solution for the given fiber.

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).
  -a, --algorithm=ALG        Select ALG as the completion procedure for
                             computing Groebner bases. ALG is one of
                             `fifo', `weighted', or 'unbounded.'
  -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.
  -r, --auto-reduce-freq=n   Set the frequency of auto reduction.
                             (default is 2500).
  -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.