Pyzotero: a Python client for the Zotero API

Implements MIP cut generation using symmetry information.

LP presolver

Repository hosting Netlib's Linear Programming (LP) data converted to MPS format for ease of use.

branch-and-cut for the stable set problem

Combinatorial Matrix Recognition

This project is about formally verifying Seymour's decomposition theorem for regular matroids.

Python module for polyhedral geometry

LattE integrale, software for counting lattice points and integration over convex polytopes

A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin, M. Walter

Interactive Performance Evaluation Tools for Optimization Software

SCIP - Solving Constraint Integer Programs

Linear optimization software

A markup-based typesetting system that is powerful and easy to learn.

Rust interface for SCIP

The public CGAL repository, see the README below

Collaborative Collection of C++ Best Practices. This online resource is part of Jason Turner's collection of C++ Best Practices resources. See README.md for more information.

Package to keep and filter the status of the world.

Code for the Cliques, Colors, and Communication project

Pitchfork is a Set of C++ Project Conventions

OGDF, the Open Graph Drawing Framework/Open Graph algorithms and Data structure Framework.

This is an online course where you can learn and master the skill of low-level performance analysis and tuning.

Common interface for different linear programming solvers

Extremely simple yet powerful header-only C++ plotting library built on the popular matplotlib