Agent Dynamic Logic package
|
|
Installation
- Download adl.jar and antlr.jar.
- Put these files to a directory you want, e.g. to
~/java/lib .
- Add their locations to the
CLASSPATH variable, e.g. add to your .bashrc file the following line
CLASSPATH=$CLASSPATH:~/java/lib/antlr.jar:~/java/lib/adl.jar; export CLASSPATH
|
|
|