Package details
Package clingo-dev
Version 5.7.1-r1
Description Grounder and solver for logic programs (development files)
Project https://potassco.org/clingo/
License MIT
Branch v3.21
Repository community
Architecture x86_64
Size 62.9KiB
Installed size 356.5KiB
Origin clingo
Maintainer Celeste
Build time 2024-10-16 16:20:45
Commit 40ea6c48d709733051b824abfc3d0ed2309ae339
Merge request N/A
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)