GitHub repository: potassco/asprilo-encodings
Primary language: CLIPS
Description: Collection of ASP encodings for asprilo