EnglishFrenchSpanish

OnWorks favicon

zimpl - Online in the Cloud

Run zimpl in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command zimpl that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

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.

Use zimpl online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

Linux commands

  • 1
    AClock
    AClock
    AClock - Analog dockapp clock for
    GNUstep ...
    Run AClock
  • 2
    acl_gran
    acl_gran
    rsbac-admin - Rule Set Based Access
    Control DESCRIPTION: rsbac-admin is a
    set of tool used to manage systems using
    a Rule Set Based Access Control (RSBAC)
    kern...
    Run acl_gran
  • 3
    cpupower-frequency-set
    cpupower-frequency-set
    cpupower frequency-set - A small tool
    which allows to modify cpufreq settings.
    SYNTAX: cpupower [ -c cpu ]
    frequency-set [options] DESCRIPTION:
    cpupower freque...
    Run cpupower-frequency-set
  • 4
    cpupower-idle-info
    cpupower-idle-info
    cpupower idle-info - Utility to
    retrieve cpu idle kernel information
    SYNTAX: cpupower [ -c cpulist ]
    idle-info [options] DESCRIPTION: A tool
    which prints out p...
    Run cpupower-idle-info
  • 5
    gbker
    gbker
    gbker - Produce kernel density
    estimation ...
    Run gbker
  • 6
    gbker2d
    gbker2d
    gbker2d - Kernel density estimate for
    bivariate data ...
    Run gbker2d
  • More »

Ad