Check in effort on automata library

And push changes through to consumers