    MODULE=clasp
   VERSION=3.4.0
    SOURCE=$MODULE-$VERSION-source.tar.gz
SOURCE_URL=https://github.com/potassco/clasp/releases/download/v$VERSION/
SOURCE_VFY=sha256:8cee7c89f620dd0326a9dcf6f944d9bea4dff167c868608ba37d8e388e9a025d
  WEB_SITE=https://github.com/potassco/clasp
   ENTERED=20120512
   UPDATED=20260623
     SHORT="Answer set solver for (extended) normal logic programs"

cat << EOF
clasp is an answer set solver for (extended) normal logic programs. It
combines the high-level modeling capacities of answer set programming (ASP)
with state-of-the-art techniques from the area of Boolean constraint solving.
EOF
