require_relative 'abbadingo/random_dfa'
require_relative 'abbadingo/random_sample'