Package details
Package clasp
Version 3.3.10-r0
Description Answer set solver for (extended) normal logic programs
Project https://potassco.org/
License MIT
Branch v3.20
Repository community
Architecture x86_64
Size 597.9KiB
Installed size 1.4MiB
Origin clasp
Maintainer Celeste
Build time 2024-02-08 06:09:06
Commit 222d1ce5cf5ccb0c83e0211e5a044e6cfedb1f02
Merge request 60401
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)