--------------------------------------------
INSTALLATION
--------------------------------------------

- decompress the folder.
- the "FuzzyDL" folder is the main folder
- place the solverLinux dynamic libraries. Theoretically these libraries can be located at |/usr/lib|, |lib| or |/usr/local/lib| directories, but you can simply add the path of the binary file to the library path by modifying the variable  |LD_LIBRARY_PATH|. For instance, if the libraries are in the same directory as the binary file, you can write in a terminal:
export LD_LIBRARY_PATH=.:$LD_LIBRARY_PATH
- then you should be ready for the execution
- alternatively, leave the dynamic libraries in solverLinux and define

export LD_LIBRARY_PATH=$HOME/Linux/FuzzyDL/solverLinux

--------------------------------------------
EXECUTION of fuzzyDL
--------------------------------------------
java -jar FuzzyDL.jar filename

To read in the file. Some parameters are taken from the CONFIG file


To select the semantics, change the 'solver' parameter in the CONFIG file 

z for Zadeh Logic
l for Luaksiewicz Loic
c for Classical Logic



