Package details
Package clingo
Version 5.4.0-r1
Description A grounder and solver for logic programs
Project https://potassco.org/clingo/
License MIT
Branch edge
Repository community
Architecture aarch64
Size 1.74 MB
Installed size 4.5 MB
Origin clingo
Maintainer None
Build time 2020-05-30 13:01:21
Commit 5c9c6d3b2890466745a62592afa5b64789d3f350
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (4)
Required by (3)
Sub Packages (2)