Agent Dynamic Logic package


  1. Download adl.jar and antlr.jar.
  2. Put these files to a directory you want, e.g. to ~/java/lib.
  3. 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
Valid XHTML 1.0! Valid CSS! There were 194911 visits of this page since Wed, 03 May 2006 20:57:56 BST.
Last modified: Sat, 17 Mar 2007 18:58:32 GMT.
Copyright ©2006 Dmitry Tishkovsky, School of Computer Science, The University of Manchester