- Clone this repository
- Let Maven resolve the dependencies (Instructions for IntelliJ IDEA below)
- Right-click the
pom.xmllocated on the top-level of the repository. - Select the
Mavenoption - Select
Reload project
- Right-click the
- Assumption Analyzer can then be started by executing
src/main/java/Main.java
For further resources please refer to the documentation directory located on the top-level of the repository. It contains the following documents:
- Praesentation_Praktikum_WAM.pdf: The slides used for the final presentation on 09/18/23.
- Praesentation_Praktikum_WAM.zip: The LaTeX source files used to create the pdf mentioned above.
- Ausarbeitung_Praktikum_WAM.pdf: A detailed description of Assumption Analyzer, detailing its goal, architecture, usage, and selected design decisions.
- Ausarbeitung_Praktikum_WAM.zip: The LaTeX source files used to create the pdf mentioned above.