repositories / tt2015.git / blob
? search:


becbbd0e11a15f3c27f695f43f964a05c41a49b5
[tt2015.git] / a4 / code / run.sh
1 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main
Unnamed repository; edit this file 'description' to name the repository.