Graph and state machine library
