          MODULE=clasp
         VERSION=2.0.6
          SOURCE=$MODULE-$VERSION-source.tar.gz
      SOURCE_URL=$SFORGE_URL/potassco/$MODULE/$VERSION
      SOURCE_VFY=sha1:901c21c782049337ff5572c88fc36d05b9fb2d31
        WEB_SITE=http://potassco.sf.net
         ENTERED=20120512
         UPDATED=20120512
           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
