Python interface for the AT&T FSM LibraryTM