A cross-compilation helper repository for the scipoptsuite, based on BinaryBuilder.jl
Tmux Plugin Manager
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.