The following software has been developed and is available for licensing:

Numerical Algorithms

CodeLib
Contains Newton, Gauss-Newton, and IVP codes.
Contact: Martin Weiser (weiserzib.de) 

JCMsuite
Commercially distributed software package for the computation of solutions to 3D, time-harmonic Maxwell's equations, with a focus on applications in optics. 
Contact: Lin Zschiedrich (zschiedrichzib.de)  

Kardos
FE software package for the solution of parabolic systems of partial differential equations.
Contact: Bodo Erdmann (erdmannzib.de)  

KASKADE 7
Flexible C++ library for solving PDE systems with finite elements.
Contact: Martin Weiser (weiserzib.de) 

NewtonLib
Contains software for Peter Deuflhard's textbook "Newton Methods for Nonlinear Problems-Affine Invariance and Adaptive Algorithms“. 
Contact: Martin Weiser (weiserzib.de)

ZIBMolPy
Statistical thermodynamics software for molecular kinetics and for the simulation of binding processes. 
Contact: Marcus Weber (weberzib.de) 

Visualization

Amira and Avizo 
Modular, object-oriented software systems with many functions for image processing, image analysis, geometry reconstruction and data visualization.
Contact: Steffen Prohaska (prohaskazib.de), Daniel Baum (baumzib.de)

Lenné3D-Player
Lenné3D denotes the landscape visualization systems developed at ZIB. The Lenné3D-Player depicts scenes realistically, in a sketchy or in a hybrid mode, offers camera paths and video export for offline presentations.
Contact: Steffen Prohaska (prohaskazib.de)

Biosphere3D 
The successor of Lenné3D player and allows to present much larger scenes with vegetation.
Contact: Steffen Prohaska (prohaskazib.de)

Actin Segmentation
Software for automated segmentation of actin filament networks from electron tomograms.
Contact: Daniel Baum (baumzib.de)

Microtubule Tracing
Software for automated tracing of microtubules in electron tomograms.
Contact: Steffen Prohaska (prohaskazib.de)

Microtubule Stitching
Software for automated stitching of microtubule centerlines across serial section electron tomograms.
Contact: Steffen Prohaska (prohaskazib.de)

iCon.text 
A customizable iPad application for kiosk systems in museum exhibitions.
Contact: Steffen Prohaska (prohaskazib.de)

Neuron Reconstruction
Software for the 3D reconstruction and morphometric analysis of neurons.
Contact: Vincent J. Dercksen (dercksenzib.de)

NeuroNet
Software for the generation of dense statistical connectomes from sparse morphological data.
Contact: Vincent J. Dercksen (dercksenzib.de)

2d-3d Registration
Software for the integration of 2d image slices into 3d image volumes.
Contact: Daniel Baum (baumzib.de) 

Optimization

SCIP Optimization Suite
The SCIP Optimization Suite is a software collection for generating and solving mixed integer programs. It consists of the following parts.
Contact: Thorsten Koch (kochzib.de)

  • SCIP - a mixed integer programming solver and constraint integer programming framework
  • SoPlex - a linear programming solver implementing the revised simplex algorithm
  • Zimpl - a mixed integer programming modeling language
  • GCG - a generic branch-cut-and-price solver
  • UG - a parallelization framework for branch-and-bound based solvers

MIPLIB 2003 and MIPLIB 2010
These are standard test sets used to compare the performance of mixed integer optimizers.
Contact: Thorsten Koch (kochzib.de)

SteinLib Testdata Library
This is a library of Steiner tree problems that is constantly being updated and extended.
Contact: Thorsten Koch (kochzib.de)

SNDlib – Survivable Network Design Library
Survivable Network Design Library. Sndlib is a library of standardized test problems for telecommunication network design.
Contact: Ralf Borndörfer (borndoerferzib.de)

TTPLIB – Library for Train Timetabling Problems
This library provides test data to benchmark mathematical models and algorithms for the train timetabling problem.
Contact: Thomas Schlechte (schlechtezib.de) 

MCF – Netzwerksimplexalgorithmus
MCF is one of the fastest implementations of the network simplex algorithms. A version of the code is used in the current SPEC CINT suite to benchmark microprocessors.
Contact: Andreas Löbel (loebelzib.de)

ZIB Traffic Optimization Suite
ZIB Traffic Optimization Suite is a collection of mathematical optimization tools to solve planning problems in public transit, rail transport, and air traffic. It consists of the following tools.
Contact: Ralf Borndörfer (borndoerferzib.de)

  • VS-OPT (Vehicle scheduling optimizer)
  • DS-OPT (Duty scheduling optimizer)
  • IS-OPT (Integrated vehicle and duty scheduling optimizer)
  • CS-OPT (Airline crew scheduling optimizer)
  • TS-OPT (Railway track allocation scheduling optimizer)
  • Route planner for visitors of the „Lange Nacht der Wissenschaften“

DISCNET
An optimization tool for telecommunication network design.
Contact: Axel Werner (wernerzib.de) 

Computeralgebra

REDUCE
Computer algebra system developed by Anthony C. Hearn starting in the 1960ies. Since 2009 it is free software (hosted at sourceforge.net). A group of people from computer algebra and computer science is working on new modules and improvements, resp.
Contact: Winfried Neun (neunzib.de)

Parallel and Distributed Computing

XtreemFS
Distributed and replicated file system for the Internet.
Contact: Robert Schmidtke (schmidtkezib.de)

Scalaris
Transactional, distributed key-value store using structured peer-to-peer algorithms.
Contact: Florian Schintke (schintkezib.de), Thorsten Schütt (schuettzib.de)

Theseus
Parallel framework for structure prediction using the threading approach.
Contact: Thomas Steinke (steinkezib.de)

MR-Search
Massively parallel heuristic search with MapReduce.
Contact: Thorsten Schütt (schuettzib.de)

HAM
Heterogeneous Active Messages for Efficient Offloading on the Xeon Phi
Contact: Matthias Noack (noackzib.de)