C

combinatorial optimization

An elegant and efficient combinatorial programming language.

RoundingSat: the pseudo-Boolean solver powered by proof complexity!

A C++ implementation of my novel optimisation method for open-shop scheduling with arbitrary constraints.