Add triples of ql:has-pattern predicate to PSO and POS#1226
Merged
joka921 merged 11 commits intoad-freiburg:masterfrom joka921:additional-permutationsJan 17, 2024
+232-74
Commits
Commits on Jan 16, 2024
- committed
- committed
- committed
- committed
Commits on Jan 17, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed