clasp (math/clasp) Updated: 5 months ago Add to my watchlist

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).

Version: 3.3.10 License: MIT GitHub
Maintainers No Maintainer
Categories math
Platforms darwin
  • debug (Enable debug binaries)
  • universal (Build for multiple architectures)

"clasp" depends on

build (2)

Ports that depend on "clasp"

No ports

Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)