Software

WASP: An open-source ASP solver based on clause learning

Download the version 1.0 [Link]

Download the version 2.0 [Link]

JWASP: An open-source ASP solver written in Java

Download [Link]

ModelsEnumeration: An open-source tool based on glucose for enumerating model of a CNF

Download [Link]