Package details
Package clingo-dev
Version 5.4.0-r1
Description A grounder and solver for logic programs (development files)
License MIT
Branch edge
Repository community
Architecture armv7
Size 62 kB
Installed size 376 kB
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 (1)
Required by (0)
Sub Packages (2)