          MODULE=clasp
         VERSION=3.3.10
          SOURCE=$MODULE-$VERSION-source.tar.gz
      SOURCE_URL=https://github.com/potassco/clasp/releases/download/v$VERSION/
      SOURCE_VFY=sha256:6decd6821e1c17929c51c525cf170a7daf4a118b4f16786b9f110ab67d4e4ec7
        WEB_SITE=https://github.com/potassco/clasp
         ENTERED=20120512
         UPDATED=20240728
           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
