ZIMPL(1)							   User Manuals 							  ZIMPL(1)

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

Linux								 30 September 2010							  ZIMPL(1)