Package details
Package clingo-dev
Version 5.5.0-r1
Description Grounder and solver for logic programs (development files)
Project https://potassco.org/clingo/
License MIT
Branch v3.16
Repository community
Architecture aarch64
Size 60.8KiB
Installed size 372.0KiB
Origin clingo
Maintainer None
Build time 2021-12-15 19:18:06
Commit 5313a2e8ea30ef8e4527f58b7fa93a1d9fe6ef42
Merge request N/A
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (1)
Required by (0)
Sub Packages (2)
Provides (0)
Install if (0)