SYMPHONY (Single- or Multi-Process Optimization over Networks) is a powerful environment for implementing branch, cut, and price algorithms. The subroutines in the SYMPHONY library comprise a state-of-the-art solver which is designed to be completely modular and easy to port to various problem settings. All library subroutines are generic--their implementation does not depend on the the problem-setting. To develop a full-scale, parallel branch and cut algorithm, the user has only to specify a few problem-specific functions such as preprocessing and separation. The vast majority of the computation takes place within a ``black box,'' of which the user need have no knowledge. SYMPHONY communicates with the user's routines through well-defined interfaces and performs all the normal functions of branch and cut--tree management, LP solution, cut pool management, as well as inter-process communication. Although there are default options, the user can also assert control over the behavior of SYMPHONY\ through a myriad of parameters and optional subroutines. SYMPHONY can be built in a variety of configurations, ranging from fully parallel to completely sequential, depending on the user's needs. The library runs serially on almost any platform, and can run in parallel in any environment supported by the PVM message-passing protocol.
This manual is concerned with the detailed specifications needed to develop an application using SYMPHONY. It is assumed that the user has already read the white paper SYMPHONY: A Parallel Framework for Branch, Cut, and Price, which provides a high-level introduction to parallel branch, cut, and price and the overall design and use of SYMPHONY. Reading and understanding this white paper is necessary before continuing.