12.03.2024: maintenance day at ZIB from 8:00 a.m to 03:00 p.m.. git.zib.de is switched off during this time
New repository with instances and data from revised-submissions, but NAME attribute of the instances has been adjusted.
As this causes a rewrite of most of the compressed .mps.gz files, we decided to make a new repository.
test scripts for running experiments on the MIPLIB 2017 instances
Visual Studio 2013 debug helpers for Qt and Amira.
A cross-compilation helper repository for the scipoptsuite, based on BinaryBuilder.jl
Tmux Plugin Manager