Package de.learnlib.buildtool

This package (including sub-packages) contains utility code for the build process of LearnLib.