---
name: "symphony"
section: "1"
platform: "linux"
package: "coinor-symphony"
version: "5.7.2+dfsg-1"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/symphony"
---

# symphony(1)

mixed-integer linear program (MILP) solver

## NAME

symphony - mixed-integer linear program (MILP) solver

## 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\]\

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

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

- **-u ub**

  use upper bound 'ub'

- **-p procs**

  allow 'procs' active nodes

- **-n i**

  use node selection rule 'i'

- **-v i**

  set verbosity to level 'i'

- **-s cands**

  use 'cands' candidates for strong branching

- **-k i**

  use rule 'i' to select child

- **-m n**

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

- **-e n**

  allow a max of 'n' cut pools

- **-l n k**

  load balance level 'n' and iterations 'k'

- **-i n**

  allow a max of 'n' iterations in presolve

- **-f file**

  read parameters from parameter file 'file'

- **-j 0/1**

  whether or not to generate cgl cuts

- **-z n**

  set diving threshold to 'n'

- **-o file**

  output vbc-like tree information to file 'file'

- Solver-specific switches:

  - symphony \[ -H \] \[ -FL file \]

  - **-H**

  help (solver-specific switches)

- **-F model**

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

- **-L model**

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

- **-D data**

  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.

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