StateMint: A Set of Tools for Determining Symbolic Dynamic System Models Using Linear Graph Methods