Source Package: aspcud (1:1.9.1-2)
Links for aspcud
Debian Resources:
- Bug Reports
- Developer Information
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainer:
External Resources:
- Homepage [www.cs.uni-potsdam.de]
The following binary packages are built from this source package:
- aspcud
- CUDF solver based on Answer Set Programming
Other Packages Related to aspcud
|
|
-
- adep: debhelper (>= 9)
- helper programs for debian/rules
-
- adep: libboost-dev (>= 1.46)
- Boost C++ Libraries development files (default version)
-
- adep: cmake (>= 2.6)
- cross-platform, open-source make system
-
- adep: re2c (>= 0.13)
- tool for generating fast C-based recognizers
Download aspcud
File | Size (in kB) | MD5 checksum |
---|---|---|
aspcud_1.9.1-2.dsc | 1.8 kB | e84e01572dc1673df7efa3403c1d89f7 |
aspcud_1.9.1.orig.tar.gz | 68,283.6 kB | 35304fecd1f832c74f028c06067db39d |
aspcud_1.9.1-2.debian.tar.xz | 5.6 kB | 6a85f50c0299fa27c9c1d4c1e6992c37 |
- Debian Package Source Repository (VCS: Git)
- git://anonscm.debian.org/collab-maint/aspcud.git
- Debian Package Source Repository (Browsable)
- http://anonscm.debian.org/cgit/collab-maint/aspcud.git