EXTRA_DIST = runregression SUBDIRS = \ adder \ bddcalc \ bddtest \ cmilner \ fdd \ milner \ money \ queen \ solitare
