DOKK / manpages / debian 12 / coinor-symphony / symphony.1.en
SYMPHONY(1) General Commands Manual SYMPHONY(1)

symphony - mixed-integer linear program (MILP) solver

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]

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.

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

help
no cut timeout
enable graph drawing
use cut generator
do repricing in root
trim the tree
don't perform branch and cut
use upper bound 'ub'
allow 'procs' active nodes
use node selection rule 'i'
set verbosity to level 'i'
use 'cands' candidates for strong branching
use rule 'i' to select child
allow a max of 'n' cuts to enter per iteration
allow a max of 'n' cut pools
load balance level 'n' and iterations 'k'
allow a max of 'n' iterations in presolve
read parameters from parameter file 'file'
whether or not to generate cgl cuts
set diving threshold to 'n'
output vbc-like tree information to file 'file'
help (solver-specific switches)
model should be read in from file 'model' (MPS format is assumed unless -D is also present)
LP format model should be read in from file 'model'
model is in AMPL format and data is in file 'data'

For a complete description, see

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

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

January 21, 2010