See Wiki for (partial) documentation and manuals: https://se3.informatik.uni-wuerzburg.de/descartes/dni/wikis/home

Git access to wiki do: git clone https://se3.informatik.uni-wuerzburg.de/descartes/dni.wiki.git