aboutsummaryrefslogtreecommitdiff
path: root/src/ee/tools/souffle-export.py
Commit message (Collapse)AuthorAgeFilesLines
* all tools: Creating a shared group of argument options. Processing thisTrygve Laugstøl2019-05-271-1/+7
| | | | | shared group too, changing the log level when logging options are specified.
* Adding Soufflé based reasoning on parts. Replacing default configurationTrygve Laugstøl2019-05-271-0/+51
with applying python function with this new reasoner.