aboutsummaryrefslogtreecommitdiff
path: root/src/ee/tools/part_apply_souffle_pre.py
Commit message (Collapse)AuthorAgeFilesLines
* souffle: Adding support for categories.Trygve Laugstøl2019-10-161-8/+38
|
* souffle: Better quoting for data with double quote signs (").Trygve Laugstøl2019-10-151-1/+12
|
* souffle: Writing out SPN and MPN for each part.Trygve Laugstøl2019-08-121-25/+48
|
* souffle: Using the same relation for inputs and outputs was not a goodTrygve Laugstøl2019-06-121-1/+1
| | | | | idea, change to use fact() for inputs and add_fact() for outputs. Leaves room for implementing remove_fact() later too.
* all tools: Creating a shared group of argument options. Processing thisTrygve Laugstøl2019-05-271-0/+3
| | | | | 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/+64
with applying python function with this new reasoner.