GitHub repository: raki123/aspmc
Primary language: Python
Description: treewidth-aware reduction from asp to sat