Java library for state management utilizing a graph-based finite state machine (FSM) structure. It allows for dynamic addition of transitions and state traversal in a type-safe environment.