GitHub repository: AndrewIjano/gel-max-sat
Primary language: Python
Created: 2020-07-28T16:15:04Z
Description: A tractable Graphic EL MaxSAT solver