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
Visual Studio 2013 debug helpers for Qt and Amira.
test scripts for running experiments on the MIPLIB 2017 instances
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.
Tmux Plugin Manager
A cross-compilation helper repository for the scipoptsuite, based on BinaryBuilder.jl