aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/converter/package.scala
Commit message (Expand)AuthorAgeFilesLines
* Add Apache License 2.0Federico Igne2021-06-301-0/+16
* Rework skolemization strategiesFederico Igne2020-12-041-0/+9