librede issueshttps://gitlab2.informatik.uni-wuerzburg.de/descartes/librede/-/issues2017-08-18T13:15:24+02:00https://gitlab2.informatik.uni-wuerzburg.de/descartes/librede/-/issues/1Native libraries cannot be found under Windows 102017-08-18T13:15:24+02:00Chair of Software EngineeringNative libraries cannot be found under Windows 10The value of the "os.name" has changed, see https://github.com/java-native-access/jna/issues/511. Therefore, the property needs to be set manually.The value of the "os.name" has changed, see https://github.com/java-native-access/jna/issues/511. Therefore, the property needs to be set manually.https://gitlab2.informatik.uni-wuerzburg.de/descartes/librede/-/issues/4Linux requires libgfortran2018-01-24T16:10:51+01:00Johannes GrohmannLinux requires libgfortranRunning on linux requires libgfortran to be installed (as libgfortran.so.3 can not be found).
We did not yet find a way to pre-package it with libredeRunning on linux requires libgfortran to be installed (as libgfortran.so.3 can not be found).
We did not yet find a way to pre-package it with librede