[ squeeze-backports ] [ wheezy ] [ jessie ] [ sid ]

Source Package: clasp (2.0.2-1~bpo60+1) [backports]

Links for clasp

Debian Resources:

Maintainers:

External Resources:

Homepage [www.cs.uni-potsdam.de]

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 (>= 7.0.50~)

helper programs for debian/rules
adep: libtbb-dev [amd64 i386 ia64 ppc64]

parallelism library for C++ - development files

Download clasp

File	Size (in kB)	MD5 checksum
clasp_2.0.2-1~bpo60+1.dsc	1.3 kB	41b3fc3f4b79a121b856a079edb2a07d
clasp_2.0.2.orig.tar.gz	358.3 kB	4e5f63ccf95b6b2150478d68a13e7e09
clasp_2.0.2-1~bpo60+1.debian.tar.gz	5.7 kB	51f4e8175ca0dd5823f4238998dd16e7

Debian Package Source Repository (VCS: Git): git://git.debian.org/git/debian-science/packages/clasp.git
Debian Package Source Repository (Browsable): http://git.debian.org/?p=debian-science/packages/clasp.git