toulbar2 is an open-source black-box C++ optimizer for cost function networks and discrete additive graphical models. This also covers Max-SAT, Max-Cut, QUBO (and constrained variants), among others.
Every Python developer knows some or all of these libraries, because they’re stable, reliable, and excellent at what they do.