summaryrefslogtreecommitdiff
path: root/pcr/tanglet
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/tanglet
parent6958e1a24fe01cc8583824b3bb0a86023f44e27c (diff)
downloadabslibre-f803d64755c20baf28548ff93b6c6334f705d95a.tar.gz
abslibre-f803d64755c20baf28548ff93b6c6334f705d95a.tar.bz2
abslibre-f803d64755c20baf28548ff93b6c6334f705d95a.zip
Grounding tools for (disjunctive) logic programs.
Diffstat (limited to 'pcr/tanglet')
0 files changed, 0 insertions, 0 deletions