summaryrefslogtreecommitdiff
path: root/pcr/nova/PKGBUILD
diff options
context:
space:
mode:
authorAurelien Desbrieres <aurelien@hackers.camp>2014-12-15 14:53:37 +0100
committerAurelien Desbrieres <aurelien@hackers.camp>2014-12-15 14:53:37 +0100
commitf803d64755c20baf28548ff93b6c6334f705d95a (patch)
tree540a12e7d347877e5978e62131fab0d854ce785e /pcr/nova/PKGBUILD
parent6958e1a24fe01cc8583824b3bb0a86023f44e27c (diff)
Grounding tools for (disjunctive) logic programs.
Diffstat (limited to 'pcr/nova/PKGBUILD')
0 files changed, 0 insertions, 0 deletions