Same with Homebrew.

    $ brew info clasp
    clasp: stable 3.1.3 (bottled)
    Answer set solver for (extended) normal logic programs
    http://potassco.sourceforge.net/

Would be great to rename this recipe to potassco instead.

No, it wouldn't. The program is called clasp. Renaming it to potassco is like renaming Microsoft Excel to Microsoft Office. It's also years older than the LISP clasp. And finally, the program is an amazing piece of technology and state-of-the-art in its scientific field.

There are already several other Lisp projects called CLASP ;-) : For example...

http://www.cs.cmu.edu/Groups/AI/util/lang/lisp/code/math/cla...

'Common Lisp Analytical Statistics Package'

Early 90s...

Or a simulator for electronic circuits in Common Lisp:

https://doaj.org/article/6a656a29acba4a748a65f20bff63721b

Or a production system from 1991:

http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7...

Or a reasoning engine in Lisp:

http://www.researchgate.net/publication/221393440_Towards_th...

Since they invented capital letters already, they do spell differently! The debian package is "clasp", not "Clasp".

Uppercase letters are not permitted in Debian package names according to the policy: https://www.debian.org/doc/debian-policy/ch-controlfields.ht...

I think for naming purposes we should go with "cclasp" as the name.