logo
Free, unlimited AI code reviews that run on commit
git-lrc git-lrc GitHub Install Now We'd appreciate a star git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt git-lrc - Free, unlimited AI code reviews that run on commit | Product Hunt

symphony - mixed-integer linear program (MILP) solver

Author

symphony was written by Ted Ralphs et.al.

       This manual page was written by Aramian Wasielak <aramian.wasielak@gmail.com>, based on "symphony -h" and
       clp.1, for the Debian project (but may be used by others).

                                                  Jan 21, 2010                                       SYMPHONY(1)

Description

       This manual page briefly documents the symphony command.

       symphony is a generic MILP solver that can be invoked from the command line (through an interactive shell
       or in a batch mode), or by linking to the provided callable library. When no options are  given  symphony
       enters  the  interactive  shell mode. Otherwise the program enters the batch mode, for which a summary of
       options is included below.

Name

       symphony - mixed-integer linear program (MILP) solver

Options

       At a minimum, one must specify the name of the file to be read and solved.

       -h     help

       -a     no cut timeout

       -d     enable graph drawing

       -g     use cut generator

       -r     do repricing in root

       -t     trim the tree

       -b     don't perform branch and cut

       -uub  use upper bound 'ub'

       -pprocs
              allow 'procs' active nodes

       -ni   use node selection rule 'i'

       -vi   set verbosity to level 'i'

       -scands
              use 'cands' candidates for strong branching

       -ki   use rule 'i' to select child

       -mn   allow a max of 'n' cuts to enter per iteration

       -en   allow a max of 'n' cut pools

       -lnk load balance level 'n' and iterations 'k'

       -in   allow a max of 'n' iterations in presolve

       -ffile
              read parameters from parameter file 'file'

       -j0/1 whether or not to generate cgl cuts

       -zn   set diving threshold to 'n'

       -ofile
              output vbc-like tree information to file 'file'

       Solver-specific switches:

       symphony [ -H ] [ -FL file ]

       -H     help (solver-specific switches)

       -Fmodel
              model should be read in from file 'model' (MPS format is assumed unless -D is also present)

       -Lmodel
              LP format model should be read in from file 'model'

       -Ddata
              model is in AMPL format and data is in file 'data'

See Also

       For a complete description, see

       /usr/share/doc/coinor-libsymphony-doc/user-guide.pdf.gz

       in the coinor-libsymphony-doc package.

Synopsis

symphony  [ -hagrtbd ] [ -u ub ] [ -p procs ] [ -n rule ] [ -v level ] [ -s cands ] [ -c rule ] [ -k rule
       ] [ -m max ] [ -l pools ] [ -i iters ] [ -f parameter_file_name ] [-j 0/1] [-o tree_out_file]

See Also