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

Feasibility Jump

A local search solver for Pseudo-boolean Optimization

Forward critical SystemD service failure errors to your Linux desktop.

Download market data from Yahoo! Finance's API

Ruleset covering algorithms for transparent machine learning

A heap memory profiler for Linux

Sequential object-oriented simPlex

C++ parsing DSL

The fastest feature-rich C++11/14/17/20/23 single-header testing framework

Abseil Common Libraries (C++)

A very fast hashtable

binary/integer linear programming solver

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

Python for HPC: Community Materials

A minimalistic and high-performance SAT solver implementing Symmetry Propagation

A minimalistic and high-performance SAT solver