Group Details - potassco (x86_64)

1 package found.

Arch Repo Name Version Description Last Updated Flag Date
x86_64 Pcr gringo 4.5.4-1 Grounding tools for (disjunctive) logic programs. 2016-05-30