Skip to content
Snippets Groups Projects
Commit 82529a36 authored by Jonas Blatt's avatar Jonas Blatt :ant:
Browse files

Merge remote-tracking branch 'origin/develop' into develop

parents 0195ddcf 1bafcc41
Branches
Tags
No related merge requests found
......@@ -6,7 +6,9 @@ DMN Verifier
- [DMN Generator](./dmn-generator): DMN generator for performance tests
## GitLab Wiki for documentation
[DMN Verifier Wiki documentation](https://gitlab.uni-koblenz.de/fg-bks/br-verification-tool/wikis/home)
- [DMN Verifier Wiki documentation](https://gitlab.uni-koblenz.de/fg-bks/br-verification-tool/wikis/home)
- [Build and deploy project](https://gitlab.uni-koblenz.de/fg-bks/br-verification-tool/wikis/Setup)
- [REST api](https://gitlab.uni-koblenz.de/fg-bks/br-verification-tool/wikis/REST-api)
## Used libaries
- [dmn-js](https://github.com/bpmn-io/dmn-js) for visualisation of the dmn tables
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment