          MODULE=clingo
         VERSION=5.7.1
          SOURCE=$MODULE-$VERSION.tar.gz
 SOURCE_URL_FULL=https://github.com/potassco/clingo/archive/v$VERSION.tar.gz
      SOURCE_VFY=sha256:544b76779676075bb4f557f05a015cbdbfbd0df4b2cc925ad976e86870154d81
        WEB_SITE=http://potassco.org/clingo
            TYPE=cmake
         ENTERED=20120512
         UPDATED=20240728
           SHORT="Grounder and solver for first-order logic programs"

cat << EOF
Clingo combines the projects gringo and clasp into one executable.
gringo is a grounder for first order answer set programs that
outputs SMODELS format programs.
clasp solves such programs and enumerates respective answer sets.
EOF
