[  etiona  ] [  nabia  ] [  aramo  ]

Links for clasp

Trisquel Resources:

• Bug Reports
• Changelog
• Copyright File
• Debian Source Repository (Git)

Maintainer:

• Ubuntu Developers (Mail Archive)

Original Maintainers:

• Debian Science Maintainers (Mail Archive)
• Thomas Krennwallner

External Resources:

• Homepage [www.potassco.org]

The following binary packages are built from this source package:

clasp

conflict-driven nogood learning answer set solver

Other Packages Related to clasp

build-depends

build-depends-indep

• adep: debhelper-compat (= 13)

  Package not available

• adep: dpkg-dev (>= 1.16.1~)

  Debian package development tools

• adep: g++-10 (>= 10.2.1)

  GNU C++ compiler

• adep: catch

  C++ Automated Test Cases in Headers

• adep: cmake (>= 3.1.0)

  cross-platform, open-source make system

Download clasp

File	Size (in kB)	MD5 checksum
clasp_3.3.5-4ubuntu1.dsc	2.1 kB	75a9943d7bc6ccec59fd4f1ddf0f261e
clasp_3.3.5.orig.tar.gz	811.6 kB	65be9d4c720053e89c31fb2f9d718b69
clasp_3.3.5-4ubuntu1.debian.tar.xz	10.2 kB	cee526a3d89452bc2a997edc280fe2fd

Debian Package Source Repository (VCS: Git)

https://salsa.debian.org/science-team/clasp.git

Debian Package Source Repository (Browsable)

https://salsa.debian.org/science-team/clasp