GitHub repository: krr-up/renopro
Primary language: Python
Created: 2023-05-08T13:49:15Z
Description: Reifying non-ground ASP programs.