Kaynak Paket: clasp (3.3.4-2)
clasp için bağlantılar
Debian Kaynakları:
Geliştiriciler:
Dış Kaynaklar:
Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
- clasp
- conflict-driven nogood learning answer set solver
clasp ile İlgili Diğer Paketler
|
- bağımsız inşa bağımlılıkları
|
-
- 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
