GitLab

docker images

tmux continuum

tmux resurrect

Tmux Plugin Manager

Demo: Flask-App, die eine JSON-Datei ausliest und in HTML rendert zzgl Dockerfile

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

Repository for revised submissions and additional instances collected from existing libraries

Repository for new submissions to MIPLIB 2017

my dotfiles