clasp 3.3.9-1
Architecture: | x86_64 |
---|---|
Repository: | Community |
Description: | Answer set solver |
Upstream URL: | https://potassco.org/ |
License(s): | GPL3 |
Conflicts: | |
Maintainers: | Orphan |
Package Size: | 663.4 KB |
Installed Size: | 1.8 MB |
Last Packager: | Alexander Rødseth |
Build Date: | 2022-09-12 07:00 UTC |
Signed By: | Alexander Rødseth |
Signature Date: | 2022-09-12 07:03 UTC |
Last Updated: | 2022-09-12 07:07 UTC |