Comment by edwintorok

11 years ago

The name is already taken unfortunately: http://www.cs.uni-potsdam.de/clasp/

  Package: clasp
  Version: 3.1.0-1
  Description-en: conflict-driven nogood learning answer set solver
  clasp is an answer set solver for (extended) normal logic
 programs.

5 comments

edwintorok

Reply
chc  11 years ago

It was also already taken by a device for fastening things. And my name was already taken by at least three people before me. Somehow we all get along.

  • edwintorok  11 years ago

    Package names in distributions have to be unique though, so this one will probably have to be called clasp-llvm or something like that.