Package details
Package clingo-dev
Version 5.6.2-r3
Description Grounder and solver for logic programs (development files)
Project https://potassco.org/clingo/
License MIT
Branch v3.19
Repository community
Architecture x86
Size 62.1KiB
Installed size 388.0KiB
Origin clingo
Maintainer Celeste
Build time 2023-10-22 08:11:16
Commit 7473a8999ff739674e781700de79496c10763bc2
Merge request 53843
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (1)
Required by (0)
Sub Packages (3)
Provides (0)
Install if (0)