GitHub repository: potassco/configuration-encoding
Primary language: Python
Description: 🧩 An encoding for solving configuration problems with ASP