a4/README

   1 /* Running and compiling basic leaner
   2 * To compile (when in learner directory)
   3 javac * -cp :../../lib/automata-parent.jar:../../lib/learnlib-parent.jar
   4 * to run (when in src directory)
   5 java -cp :../lib/automata-parent.jar:../lib/learnlib-parent.jar leaner.Main
   6 */
   7