A CDCL-based ASP solver that supports disjunction, aggregates, weak constraints.
A specification language based on python for logic programming.
A tool based on python and YAML to validate ASP programs.
An open-source ASP solver that is written in Java.
An open-source tool based on glucose for enumerating models of a CNF.
An open-source tool based on minisat for computing a minimal model of a CNF.