GNU.WIKI: The GNU/Linux Knowledge Base

  [HOME] [PHP Manual] [HowTo] [ABS] [MAN1] [MAN2] [MAN3] [MAN4] [MAN5] [MAN6] [MAN7] [MAN8] [MAN9]

  [0-9] [Aa] [Bb] [Cc] [Dd] [Ee] [Ff] [Gg] [Hh] [Ii] [Jj] [Kk] [Ll] [Mm] [Nn] [Oo] [Pp] [Qq] [Rr] [Ss] [Tt] [Uu] [Vv] [Ww] [Xx] [Yy] [Zz]


NAME

       zimpl - Zuse Institute Mathematical Programming Language

SYNOPSIS

       zimpl  [ -b ] [ -D name=value ] [ -f ] [ -F filter ] [ -h ] [ -m ] [ -l
       length [ -n cm|cn|cf ] [ -o outfile ] [ -O ] [ -P filter [ -r  ]  [  -t
       lp|mps|hum|rlp|pip ] [ -s seed ] [ -v 0-5 ] [ -V ] file ...

DESCRIPTION

       Zimpl  is  a  little  language to translate the mathematical model of a
       problem into a linear or (mixed-)integer mathematical program expressed
       in LPF or MPS file format which can be read by a LP or MIP solver.

       None  of  the  options is necessary. All input files in zpl format that
       are given are concatenated and processed as if they are one  big  file.
       This  makes  is  possible  to combine different parts of a model on the
       command line. In this case the first filename given  will  be  used  as
       basename for the output files in absence of an -o option.

       The -t option is to select the output format.  mps can be read by every
       solver.  lpf is an CPLEX format, but can also read by several  solvers.
       BE  aware that for example Range-rows can not be expressed in lpf .  If
       you want to inspected the output yourself, hum format is a  variant  of
       lpf  with  no  name mangeling whatever, but unfortunately this violates
       several format restrictions, so no solver will read this in.  If rlp is
       specified  the  output  is  in  lpf  format,  but  rows and columns are
       randomly permuted.

OPTIONS

       -b     Enable bison(1) debugging output.

       -D name=value
              Sets  the  parameter  name  to  the  specified  value.  This  is
              equivalent  with  having  this  line in the Zimpl program: param
              name:=val .

       -f     Enable flex(1) debugging output.

       -F filter
              The output is piped through a filter. A  %s  in  the  string  is
              replaced  by  the  output  filename.  For  example:  -F "gzip -c
              >%s.gz" would compress all the output files.

       -h     Show program help.

       -l length
              Sets the maximum length for variable names in LPF output files.

       -m     Write a CPLEX .mst Mip STart file.

       -n cm|cn|cf
              Select the format for the generation of constraint names. Can be
              either  cm  which  will number them 1 ... n with a `c' in front.
              cn will use the name supplied in the subto statement and  number
              them  1  ... n within the statement.  cf will use the name given
              with the subto, then a 1 .. n number like in cm and then  append
              all the local variables from the forall statements.

       -o outfile
              Sets  the base-name for the output files. Default is the name of
              the input file without extension.

       -O     Optimize the  generated  LP  by  doing  some  presolve  analysis
              (experimental).

       -P filter
              The  input  is  piped  through  a  filter. A %s in the string is
              replaced by the input filename. For example: -F  "cpp  -DWITH_C1
              %s" would pass the input file through the C-preprocessor.

       -r     Write a CPLEX .ord branching order file.

       -s seed
              Set the random number generator seed.

       -t lp|mps|hum|rlp|pip
              Selects the output format. Can be either lp which is default, or
              mps , or hum , which is (only) human readable, or rlp , which is
              randomly permuted, or pip , which means polynimial IP.

       -v 0-5 Set the verbosity level. 0 is quiet, 1 is default, 2 is verbose,
              3 is chatter, and 5 is debug.

       -V     Prints the version number.

DIAGNOSTICS

       The following diagnostics may be issued on stderr:

       101 Bad filename
              The name given with the -o option is either missing, a directory
              name, or starts with a dot.
       175 Illegal syntax for command line define -- ignored
              The  parameter  of  a  -D  option  was  either  not  of the form
              name=value or the name was not a legal identifier.
       There are about a hundred other possible error messages, but these  are
       either about the contend of the input file, or system messages.

BUGS

       Please report any bug to the author.

AUTHOR

       Thorsten Koch <koch@zib.de>

WEBSITE

       The    lastest    version    of    Zimpl   is   always   available   at
       <http://zimpl.zib.de>.

SEE ALSO

       The Zimpl User Guide at <http://zimpl.zib.de/download/zimpl.pdf>.



  All copyrights belong to their respective owners. Other content (c) 2014-2018, GNU.WIKI. Please report site errors to webmaster@gnu.wiki.
Page load time: 0.087 seconds. Last modified: November 04 2018 12:49:43.