Apache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
LogicForest_1.0.tar.gz 2010-07-25 13:06 390K
LogicForest_2.0.0.tar.gz 2012-07-23 10:35 327K
LogicForest_2.1.0.tar.gz 2014-09-19 00:46 327K