This project is cooperated with The Research Institute for Symbolic Computation (RISC) at Johannes Kepler Universität Linz (JKU Linz).
Developing Tools: Eclipse Remote Application Platform (RAP)
Thesis Publication is located in the Documentation directory.
Pre-built VM images can be downloaded here: https://drive.google.com/drive/folders/1WzSdHXXO2VADPldBuIxwdxBqYF1o2qSk?usp=sharing