This package contains the state-automata elements prototype provider.