clasp 3.3.3

clasp : Answer set solver for normal and disjunctive logic programs, combining the modeling capacities of ASP with techniques from the area of Boolean constraint solving Via Top Apps and Games RSS Feed https://www.softlookup.com