Pinned Repositories
cmr
Combinatorial Matrix Recognition
cmr-series-parallel
Repository for experiments with series-parallel matrix recognition
googletest
Googletest - Google Testing and Mocking Framework
HiGHS
Linear optimization software
ipo
Investigating Polyhedra by Oracles
labs
Low Auto-Correlation Binary Sequences via Mixed-Integer Programming
multilinear-instance-generators
Instance generation code for multilinear optimization problems
nonnegative-rank-bounds
Code for computing lower bounds on the nonnegative rank of a matrix
phobos
Runtime library for the D programming language
polymake-extended-formulations
A Polymake extension to compute slack factorizations from extended formulations and vice versa.
discopt's Repositories
discopt/cmr
Combinatorial Matrix Recognition
discopt/polymake-extended-formulations
A Polymake extension to compute slack factorizations from extended formulations and vice versa.
discopt/cmr-series-parallel
Repository for experiments with series-parallel matrix recognition
discopt/phobos
Runtime library for the D programming language
discopt/googletest
Googletest - Google Testing and Mocking Framework
discopt/HiGHS
Linear optimization software
discopt/ipo
Investigating Polyhedra by Oracles
discopt/labs
Low Auto-Correlation Binary Sequences via Mixed-Integer Programming
discopt/multilinear-instance-generators
Instance generation code for multilinear optimization problems
discopt/nonnegative-rank-bounds
Code for computing lower bounds on the nonnegative rank of a matrix
discopt/postnl
SWI PostNL Code
discopt/sage
Personal fork of the SageMath main repository
discopt/traveling-tournament-cubic
Strengthening inequalities for the cubic MIP model for the traveling tournament problem
discopt/tu