GitHub repository: zzwonder/DPMaxSAT
Primary language: C++
Created: 2022-05-06T05:30:35Z
Description: A symbolic generalized MaxSAT solver based on dynamic programming