aboutsummaryrefslogtreecommitdiff
path: root/src/ee/tools/part_apply_souffle_post.py
Commit message (Expand)AuthorAgeFilesLines
* all tools: Creating a shared group of argument options. Processing thisTrygve Laugstøl2019-05-271-1/+8
* souffle:Trygve Laugstøl2019-05-271-0/+13
* Adding Soufflé based reasoning on parts. Replacing default configurationTrygve Laugstøl2019-05-271-0/+56