net/automatalib/brics/package-summary.html