C

combinatorial optimization

A fast header-only C++20 library for modeling and solving network optimization problems

Formally verified proof checker for pseudo-Boolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.