Package details
Package clasp
Version 3.3.7-r0
Description Answer set solver for (extended) normal logic programs
Project https://potassco.org/
License MIT
Branch v3.16
Repository community
Architecture x86_64
Size 599.9KiB
Installed size 1.5MiB
Origin clasp
Maintainer None
Build time 2022-02-18 13:48:28
Commit d0158ee9180c2d32287703f39e9e59ba37e0e934
Merge request 31078
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)