As our software is a scientific prototype, our product is not signed which causes a problem due to the security restrictions of MacOS
On Windows: DSE does not execute and throws exception
If you encounter the following exception when running a DSE you might be missing required libraries: java.lang.UnsatisfiedLinkError: [...]\plugins\com.microsoft.z3_2.18.[...]\lib\x64\msvcp120.dll: Can't find dependent libraries Installing the Visual C++ Redistributable Packages for Visual Studio 2013 fixes the problem.
AF3 does not start
Check, that the path to your AF3 (including the AF3 folder itself) does not contain spaces.
If the product does not start because the Java Virtual Machine (JVM) could not be created: Please update your Java installation to Java 11.0.7
Unpacking of AF3 zip file fails with 'Path too long' on Windows
Workaround: Unzip into your drive root, e.g., C:/ and give the folder a short name like 'af3'
Menu icons are not displayed on KDE
Go to "System settings - Application Style - GNOME Application Style".
Select "Show symbols of GTK buttons".
Select "Show symbols in GTK menus".