Skip to content
GitLab

Matcher re implementation

Merged sarah.grebing requested to merge matcherReImplementation into master

Reimplementation of Matcher, which also includes a reimplementation of the matching in KeY

Imprint