Software

Polymake

Polymake Logo

polymake is a software tool for computations in the fields of combinatorial geometry, in particular convex polytopes and polyhedra, polyhedral and simplicial complexes, of tropical geometry, like e.g. polytropes, and of toric geometry, where it deals with lattice polytopes and their associated toric ideals and varieties.

Details

Contact: ,

 

SCIP – Solving Constraint Integer Programs

SCIP Logo

SCIP is a framework for Constraint Integer Programming and branch-cut-and-price. It is also currently one of the fastest non-commercial mixed integer programming (MIP) solvers. In Cooperation with the Zuse Institute Berlin and the University of Erlangen-Nürnberg SCIP is continuously improved and extended.

Details

Contact:

 

SCIP-SDP

SCIP-SDP Logo

SCIP-SDP is a plugin for SCIP to solve mixed integer semidefinite programs. It combines the branch-and-bound framework of SCIP with interior-point SDP-solvers like DSDP, SDPA and MOSEK. It provides the data handling, presolving, propagation, heuristics and interfaces to the SDP-solvers as well as readers for a modified sparse SDPA-format and the conic benchmarking format.

Details

Contact:

Former: Sonja Mars