Pakiet źródłowy: clasp (3.3.5-4.2)
Odnośniki dla clasp
Zasoby systemu Debian:
Opiekunowie:
Zasoby zewnętrzne:
Z tego pakietu źródłowego zbudowano następujące pakiety binarne:
- clasp
- conflict-driven nogood learning answer set solver
Inne pakiety związane z clasp
-
- adep:
debhelper-compat
(= 13)
- Pakiet niedostępny
-
- adep:
dpkg-dev
(>= 1.16.1~)
- Narzędzia deweloperskie pakietów Debiana
-
- adep:
catch
- C++ Automated Test Cases in Headers
-
- adep:
cmake
(>= 3.1.0)
- Wieloplatformowy system do tworzenia oprogramowania typu open source