Package details
Package gringo
Version 4.5.4-r1
Description Grounder to translate user-provided logic programs
Project https://potassco.org/
License LGPL-3.0
Branch v3.12
Repository community
Architecture x86
Size 1.94 MB
Installed size 4.68 MB
Origin gringo
Maintainer Anil Madhavapeddy
Build time 2017-12-30 20:05:50
Commit 63f5e7d295659a855709901ce22a3e5f40fce455
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (3)
Required by (1)
Sub Packages (0)