Contents

• Introduction
  • Introducing SYMPHONY 5.1.0
  • What's New
  • A Brief History
  • Related Work
  • How to Use This Manual
  • Getting Additional Help
  
  
• Installing SYMPHONY
  • Installing the Binary Distribution
    • Installation in Unix-like environments
    • Installation for Use With Microsoft Visual C++
  • Building From Source
    • External Dependencies
    • Building in Unix-like environments
    • Building Using Microsoft Visual C++
    • Building SYMPHONY Applications
  
  
• Using SYMPHONY
  • Using SYMPHONY Interactively
    • Unix-like Environments
    • Microsoft Windows
    • Main Menu
    • Set Menu
    • Display Menu
    • Sub Menu Browsing
  • Using SYMPHONY from the Command Line
  • Using the Callable Library
    • The C API
    • The C++ API
    • Linking to the Callable Library
  • Using the Callback Functions
  
  
• Technical Details
  • Branch and Bound
  • Branch and Cut
  • Design of SYMPHONY
    • An Object-oriented Approach
    • Data Structures and Storage
    • Modular Implementation
    • Algorithm Summary
  • Details of the Implementation
    • The Master Module
    • The Node Processing Module
    • The Tree Management Module
    • The Cut Generation Module
    • The Cut Management Module
  • Parallelizing BCP
    • Parallel Configurations
    • Inter-process Communication
    • Fault Tolerance
  
  
• Developing Custom Applications
  • Navigating the Source Code
  • Building an Application
    • Unix
    • Microsoft Visual C++
  • Writing the Callbacks
  • Data Structures
  • Parallel Implementation
    • Distributed-memory Architectures
    • Shared-memory Architectures
  • Debugging Your Application
    • The First Rule
    • Debugging with PVM
    • Checking the Validity of Cuts and Tracing the Optimal Path
    • Using the Interactive Graph Drawing Software
    • Other Debugging Techniques
  • Case Study: Implementing a Matching Solver
  
  
• Reference
  • Callable Library C API
    • Primary Interface Functions
    • Parameter Query and Modification
    • Solver Status Query Functions
    • Data Query Functions
    • Data Modification Functions
    • Warm Starting Functions
    • Sensitivity Analysis Functions
  • Callable Library C++ API
  • User Callback API
    • Master module callbacks
    • LP module callbacks
    • Cut generator module callbacks
    • Cut pool module callbacks
    • Draw graph module callbacks
  • Run-time Parameters
    • Global parameters
    • Master module parameters
    • Draw Graph parameters
    • Tree Manager parameters
    • LP parameters
    • Cut Generator Parameters
    • Cut Pool Parameters
    • C++ Interface/OSI Parameters
  
  
• Bibliography