Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | souffle: Writing out SPN and MPN for each part. | Trygve Laugstøl | 2019-08-12 | 1 | -25/+48 |
| | |||||
* | souffle: Using the same relation for inputs and outputs was not a good | Trygve Laugstøl | 2019-06-12 | 1 | -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 this | Trygve Laugstøl | 2019-05-27 | 1 | -0/+3 |
| | | | | | shared group too, changing the log level when logging options are specified. | ||||
* | Adding Soufflé based reasoning on parts. Replacing default configuration | Trygve Laugstøl | 2019-05-27 | 1 | -0/+64 |
with applying python function with this new reasoner. |