/cpp-nfold-ILP

A C++ implementation for an n-fold integer linear program solver as described by Altmanová, Knop, and Koutecký.

Primary LanguageC++

Stargazers