Package details
Package clingo
Version 5.7.1-r1
Description Grounder and solver for logic programs
Project https://potassco.org/clingo/
License MIT
Branch v3.20
Repository community
Architecture x86_64
Size 724.0KiB
Installed size 1.8MiB
Origin clingo
Maintainer Celeste
Build time 2024-04-12 09:59:22
Commit 71a773b0618ce60d276a3df74ed69e6bd6d13237
Merge request N/A
Git repository Git repository
Build log Build log
Contents Contents of package