tmux continuum

tmux resurrect

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

Repository for revised submissions and additional instances collected from existing libraries

Repository for new submissions to MIPLIB 2017

my dotfiles

Visual Studio 2013 debug helpers for Qt and Amira.

dsdf