4 ms·
The name is already taken unfortunately: http://www.cs.uni-potsdam.de/clasp/ http://www.cs.uni-potsdam.de/clasp/ Package: clasp Version: 3.1.0-1 Descript
by edwintorok 12y ago
The name is already taken unfortunately:
http://www.cs.uni-potsdam.de/clasp/ 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.
- lispm 12y ago"Common Lisp Analytical Statistical Package" = CLASP, ca. 1990 http://www.cs.cmu.edu/afs/cs/Web/Groups/AI/lang/lisp/code/math/clasp/0.html http://www.cs.cmu.edu/afs/cs/Web/Groups/AI/lang/lisp/code/ma... http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.5332 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.... http://dl.acm.org/citation.cfm?id=896952 http://dl.acm.org/citation.cfm?id=896952 Later another CLASP: Common LISP as simulation program (CLASP) https://github.com/openlisp/clasp https://github.com/openlisp/clasp
- chc 12y agoIt 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 12y agoPackage names in distributions have to be unique though, so this one will probably have to be called clasp-llvm or something like that.
- 616c 12y agoSomeone has been building Ocaml's opam on Arch I see.
- andrewchambers 12y agoAll names are already taken, that's why Wikipedia has the disambiguation pages.