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_64 |
Size | 1.9MiB |
Installed size | 4.6MiB |
Origin | gringo |
Maintainer | Anil Madhavapeddy |
Build time | 2020-05-05 05:18:52 |
Commit | 91d09eea75c1443c1d776f4d22193cbde18da491 | Merge request | N/A |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |