clasp 3.3.7-2
Package Actions
- Source Files / View Changes
- Bug Reports / Add New Bug
- Search Wiki / Manual Pages
- Security Issues
- Flagged out-of-date on 2022-05-04
- Download From Mirror
Architecture: | x86_64 |
---|---|
Repository: | Community |
Description: | Answer set solver |
Upstream URL: | https://potassco.org/ |
License(s): | GPL3 |
Conflicts: | |
Maintainers: |
Alexander Rødseth |
Package Size: | 659.2 KB |
Installed Size: | 1.8 MB |
Last Packager: | Allan McRae |
Build Date: | 2022-04-24 22:47 UTC |
Signed By: | Allan McRae |
Signature Date: | 2022-04-24 22:48 UTC |
Last Updated: | 2022-04-24 23:27 UTC |