clasp 3.3.5-2

Architecture: x86_64
Repository: Community
Description: Answer set solver
Upstream URL:
License(s): GPL3
Conflicts: clingo
Maintainers: Alexander Rødseth
Package Size: 709.6 KB
Installed Size: 2.0 MB
Last Packager: Felix Yan
Build Date: 2020-07-07 14:03 UTC
Signed By: Felix Yan
Signature Date: 2020-07-07 14:04 UTC
Last Updated: 2020-07-09 18:08 UTC

Dependencies (3)

Required By (0)