Package details
Package clasp
Version 3.3.9-r0
Description Answer set solver for (extended) normal logic programs
Project https://potassco.org/
License MIT
Branch v3.17
Repository community
Architecture s390x
Size 621.3KiB
Installed size 1.6MiB
Origin clasp
Maintainer None
Build time 2022-10-22 12:25:47
Commit 360d79e596bbb97997a9b7719ff80cb10aaec791
Merge request N/A
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (0)
Sub Packages (0)
Provides (2)
Install if (0)