GitHub repository: kharus/sCASP
Description: top-down interpreter for ASP programs with constraints