» Ubuntu » Packages » bionic (18.04LTS) » interpreters » clasp
trusty  ] [  xenial  ] [  bionic  ] [  cosmic  ] [  disco  ]
[ Source: clasp  ]

Package: clasp (3.3.3-3) [universe]

Links for clasp


Ubuntu Resources:

Download Source Package clasp:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

conflict-driven nogood learning answer set solver

Other Packages Related to clasp

  • depends
  • recommends
  • suggests
  • enhances
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    also a virtual package provided by libc6-udeb
    dep: libc6 (>= 2.17) [arm64, ppc64el]
    dep: libc6 (>= 2.4) [armhf, i386, s390x]
  • dep: libgcc1 (>= 1:3.0) [not armhf, i386]
    GCC support library
    dep: libgcc1 (>= 1:3.5) [armhf]
    dep: libgcc1 (>= 1:4.2) [i386]
  • dep: libstdc++6 (>= 6)
    GNU Standard C++ Library v3
  • rec: gringo
    grounding tools for (disjunctive) logic programs

Download clasp

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 606.7 kB1,743.0 kB [list of files]
arm64 578.4 kB1,731.0 kB [list of files]
armhf 528.8 kB1,190.0 kB [list of files]
i386 663.9 kB1,854.0 kB [list of files]
ppc64el 647.9 kB2,215.0 kB [list of files]
s390x 554.4 kB1,859.0 kB [list of files]