clasp (math/clasp) Updated: 1 year, 2 months ago Add to my watchlist
A conflict-driven nogood learning answer set solverclasp 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 |
| Homepage | https://potassco.org/clasp/ |
| Platforms | darwin |
| Variants |
|
"clasp" depends on
build (2)
Ports that depend on "clasp"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck results
clasp seems to have been updated (port version: 3.3.10, new version: 3.4.0)
livecheck ran: 20 hours ago