symphony - mixed-integer linear program (MILP) solver
Contents
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]
