Package details
Package clingo-dev
Version 5.7.1-r0
Description Grounder and solver for logic programs (development files)
Project https://potassco.org/clingo/
License MIT
Branch edge
Repository community
Architecture s390x
Size 63.23 kB
Installed size 396 kB
Origin clingo
Maintainer Celeste
Build time 2024-02-17 12:01:51
Commit 95054e755f2eeefd121cae20be8eee2980ef0614
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (1)
Required by (0)
Sub Packages (3)