Source Package: clasp (2.1.3-1)
Links for clasp
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers
- Thomas Krennwallner
It should generally not be necessary for users to contact the original maintainer.
The following binary packages are built from this source package:
- conflict-driven nogood learning answer set solver
Other Packages Related to clasp
- helper programs for debian/rules
- Debian package development tools
[amd64 ia64 ppc64]
- parallelism library for C++ - development files