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 |