Commit message (Expand) | 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 |
* | all tools: Creating a shared group of argument options. Processing this | Trygve Laugstøl | 2019-05-27 | 1 | -0/+3 |
* | Adding Soufflé based reasoning on parts. Replacing default configuration | Trygve Laugstøl | 2019-05-27 | 1 | -0/+64 |