Source Package: clasp (3.3.4-2build1)
Links for clasp
Trisquel Resources:
Maintainer:
Original Maintainers:
- Debian Science Maintainers
(Mail Archive)
- Thomas Krennwallner
External Resources:
The following binary packages are built from this source package:
- clasp
- conflict-driven nogood learning answer set solver
Other Packages Related to clasp
-
- adep:
debhelper
(>= 11)
- helper programs for debian/rules
-
- adep:
dpkg-dev
(>= 1.16.1~)
- Debian package development tools
-
- adep:
g++-8
(>= 8.2.0)
- GNU C++ compiler
-
- adep:
cmake
(>= 3.1.0)
- cross-platform, open-source make system