Solvers

Solvers I (co-) developed.

• ReXi-Opt

  Parallel solver for mixed-integer programming, built on SCIP and SoPlex. Currently the strongest non-commercial solver on the public Mittelmann MIPfeas benchmark.

• SCIP-Jack

  Exact solver for Steiner tree problems and 14 related problem classes. Currently the fastest Steiner tree solver and in use across several industry sectors.

• Max-Cut & QUBO solver

  Exact branch-and-cut solver for unconstrained binary quadratic optimization and Max-Cut. Ranked first on the Mittelmann QUBO benchmark for three years running.

• PIPS++

  Massively parallel interior-point solver for primal-dual block-angular linear programs. Used on energy system models with more than one billion variables and constraints.

• SoPlex

  Simplex-based linear programming solver. I am not a main developer, but implemented a few things in the past and am currently working on improving its performance as a private side project.