Software Tools and Code Libraries

Graph Drawing
     List of software tools for drawing various kinds of graphs by G. Sander.

Graph Ed
     Interactive, extensible editor for drawing graphs by
     Prof. Dr. F. J. Brandenburg et. al., Universität Saarbrücken

LEDA
     C++ library of data types and algorithms for combinatorial and
     geometric computing by K. Mehlhorn and S. Näher

LINK
     Computing package for manipulating and visualizing graphs and
     hypergraphs, based on a collection of C++ libraries, includes a
     Scheme command line interface based on E. Gallesio's STk package

LOLA
     C++ class library of location algorithms by the Hamacher working
     group of Dept. of Mathematics, University of Kaiserslautern,
     providing a programming and graphical user interface for
     implementing algorithms to solve discretized and network facility
     location problems and several such implementations for planar
     location problems

VCBTOOL
    Graphical interface for visualization of Branch-and-Cut algorithms
    by the group of Prof. Dr. Jünger.

SYMPHONY
     "Single- or Multi-Process Optimization over Networks" Library,
     a fully parallel, generic implementation of the branch, cut, and
     price algorithm for solving integer and mixed-integer programs
     by Ted Ralphs, Márta Esö, Laci Ladányi, Les Trotter et. al.

Leibniz
     Software system for Logic Programming and Data Mining by Klaus
     Truemper, see also K. Truemper, Design of Logic-based Intelligent
     Systems, Wiley, 2004.