Package details
Package clasp
Version 3.3.9-r2
Description Answer set solver for (extended) normal logic programs
Project https://potassco.org/
License MIT
Branch v3.19
Repository community
Architecture aarch64
Size 616.0KiB
Installed size 1.6MiB
Origin clasp
Maintainer Celeste
Build time 2023-08-05 04:26:44
Commit bbfcb6a803b213a6998b3dcaab18583b2bc88be4
Merge request 49596
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)