Software
GEODUAL - Fun with Geometric Duality
Abstract:
GEODUAL is a software for creating and solving geometric instances of the Minimum Spanning Tree problem, the Perfect Matching problem, and the Traveling Salesman problem, along with visual proofs of optimality.
People involved:
M. Jünger, M. Schulz, M. Gronemann, W.Zychowicz
ABACUS - A Branch And Cut System
Abstract:
ABACUS is a software system which provides a framework for the implementation of branch-and-bound algorithms using linear programming relaxations that can be complemented with the dynamic generation of cutting planes or columns (branch-and-cut, branch-and-price, branch-and-cut-and-price).
People involved:
M. Böhm, T. Christof, M. Elf, C. Gutwenger, M. Jünger, T. Lange, S.Leipert, S. Mallach, G. Reinelt, D. Schmidt, S. Thienel
OGDF - The Open Graph Drawing Framework
Abstract:
OGDF, an open source C++ library of Algorithms for Graph Drawing, offers a broad range of existing algorithms for two-dimensional graph drawing and tools for implementing new algorithms.
People involved:
M. Chimani, M. Gronemann, C. Gutwenger, M. Jünger, K. Klein, P. Mutzel, M. Schulz, C. Spisla
FAI - Fully Automatic Installation
Abstract:
FAI is an automated system to install a Debian GNU/Linux operating system on a Linux Cluster without any interaction necessary.
People involved:
The Spin Glass Ground State Server
Abstract:
We compute exact ground states of your spin glass samples: You can send a two- or three-dimensional instance to our server address. The result will be sent back to you.
People involved:
The VBCTool
Abstract:
The Tree Interface is a graphical tool specially designed to draw binary and general rooted trees. An interesting application is the VBCTool that visualizes the progress of a Branch-and-Cut algorithm.
People involved:
Martin Diehl, Michael Jünger, Joachim Kupke, and Sebastian Leipert