GitHub repository: mullzhang/pyakmaxsat
Primary language: C++
Created: 2020-10-06T06:00:15Z
Description: Python binding of AK-MaxSAT solver.