GitHub repository: wgantt/mucd
Primary language: Python
Description: Repository for the MUC Decomposition project