All modules for which code is available

• symbolic_dynamics.graphs
• symbolic_dynamics.sofic
• symbolic_dynamics.utils