Commit message (Expand) | Author | Age | |
---|---|---|---|
* | removed every occurence of check expressions | Oszkar Semerath | 2020-05-18 |
* | removed unnecessary printing | Oszkar Semerath | 2020-05-12 |
* | advanced goal heuristics for missing containment and non-cont. edges | Oszkar Semerath | 2020-05-12 |
* | Migrating Additional projects | OszkarSemerath | 2017-06-10 |