Top-down interpreter for ASP programs with Constraints - View it on GitHub