GitHub repository: zzwonder/MixingPP
Primary language: C
Description: An accelerated version of the Mixing Method, an SDP-based MaxSAT/MaxCut Solver