tmux continuum

tmux resurrect

Tmux Plugin Manager

Repository for new submissions to MIPLIB 2017

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.

dsdf

Repository for revised submissions and additional instances collected from existing libraries

my dotfiles

Visual Studio 2013 debug helpers for Qt and Amira.