clasp

v 3.3.6 Updated: 1 year, 5 months ago

A conflict-driven nogood learning answer set solver

clasp is an answer set solver for (extended) normal logic programs. It combines the high-level modeling capacities of answer set programming with state-of-the-art techniques from the area of Boolean constraint solving. The primary clasp algorithm relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT).

https://potassco.org/clasp/

To install clasp, paste this in macOS terminal after installing MacPorts

sudo port install clasp

Add to my watchlist

Installations 0
Requested Installations 0