GitHub repository: krr-up/asp-dse
Primary language: Python
Description: ASP-based solution for Design Space Exploration