Källkodspaket: clasp (3.3.5-4ubuntu1)
Länkar för clasp
Trisquelresurser:
Ansvarig:
Original Maintainers:
- Debian Science Maintainers
(E-postarkiv)
- Thomas Krennwallner
Externa resurser:
Följande binärpaket byggs från detta källkodspaket:
- clasp
- conflict-driven nogood learning answer set solver
Andra paket besläktade med clasp
|
- arkitekturoberoende bygg-beroende
|
-
- adep:
debhelper-compat
(= 13)
- Paketet inte tillgängligt
-
- adep:
dpkg-dev
(>= 1.16.1~)
- Debian package development tools
-
- adep:
g++-10
(>= 10.2.1)
- GNU C++ compiler
-
- adep:
catch
- C++ Automated Test Cases in Headers
-
- adep:
cmake
(>= 3.1.0)
- cross-platform, open-source make system