Explore projects

Visual Studio 2013 debug helpers for Qt and Amira.

tmux continuum

my dotfiles

Tmux Plugin Manager

tmux resurrect

test scripts for running experiments on the MIPLIB 2017 instances

A cross-compilation helper repository for the scipoptsuite, based on BinaryBuilder.jl

Official repository for "Self-Supervised Detection of Perfect and Partial Input-Dependent Symmetries" (https://arxiv.org/abs/2312.12223).

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.