SYMPHONY(1)

✨ SYMPHONY(1) — the symphony manual page, bestie edition ✨

okay so. this is the manual page for symphony, from the General Commands Manual section of your friendly neighbourhood man pages. it's giving solver. it's giving MILP. let's GO 💅

---

🌸 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 🦋

okay so this manual page briefly documents the symphony command. key word: briefly. it's not gonna write your thesis for you, it's just gonna tell you what's up 🫶

symphony is a generic MILP solver that you can invoke from the command line (whether that's through an interactive shell or in a batch mode), or by linking to the provided callable library. main character behaviour honestly.

the way it works is: when no options are given, symphony just drops you straight into the interactive shell mode. but the second you pass options, it switches into batch mode, and for batch mode there's a summary of options included below. slay ✨

---

💖 OPTIONS 💖

at a minimum, bestie, you gotta specify the name of the file to be read and solved. like. that's the whole point. no file no solve no nothing 😭

• -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 👑

these ones are the solver's own little special menu, iykyk:

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, go look at:

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

which lives in the coinor-libsymphony-doc package. go read it, it's thorough 💜

---

💀 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). so iconic of them honestly 🎀

---

and that's the whole page bestie!! this one's from the General Commands Manual, SYMPHONY(1), and it's dated Jan 21, 2010 — a vintage queen, periodt ⭐ 💖 🌸