A convenience wrapper for the ASP tools gringo, clasp, hclasp

Download