pawelswoboda

or-tools

Google's Operations Research tools:

concurrentqueue

A fast multi-producer, multi-consumer lock-free concurrent queue for C++11

PEGTL

Parsing Expression Grammar Template Library

robin-map

C++ implementation of a fast hash map and hash set using robin hood hashing

libsimdpp

Portable header-only C++ low level SIMD library

flightmare

An Open Flexible Quadrotor Simulator

reinforcement_learning_course_materials

Lecture notes, tutorial tasks including solutions as well as online videos for the reinforcement learning course hosted by Paderborn University

cadical

CaDiCaL SAT Solver

SEC

Seed, Expand, Constrain: Three Principles for Weakly-Supervised Image Segmentation

OSDT

Optimal Sparse Decision Trees

Lpbox-ADMM

A generic optimization method for any integer programming problem

RAMA

MQLib

Implementations of heuristics for the Max-cut and QUBO problems in C++

spider-match

🕷️ SpiderMatch: 3D Shape Matching with Global Optimality and Geometric Consistency

BDD

An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through dual block coordinate ascent.

gym-tetris

An OpenAI Gym interface to Tetris on the NES.

printemps

C++ metaheuristics modeler/solver for general integer optimization problems.

nifty

A nifty library for graph based image segmentation.

subadditive

COPS

Official code for NeurIPS paper "Combinatorial Optimization for Panoptic Segmentation: A Fully Differentiable Approach".

baryonyx

binary/integer linear programming solver

open-pls

OpenPLS: An open phased local search (PLS) implementation

Optimization-Toolbox

Submodularity, Message Passing and other useful stuff

Reachability

The implementation for the paper "A Uniform Framework for Ad-hoc Indexes to Answer Reachability Queries on Large Graphs."

genneteq

Network simplex solver for the generalized equal flow problem

libct

A fast approximate primal-dual solver for tracking-by-assignment cell-tracking problems