MANIFEST.in
README.rst
setup.py
sydar/Automata.py
sydar/Graph.py
sydar/PartitionRefinement.py
sydar/Sequence.py
sydar/Util.py
sydar/__init__.py
sydar/command_line.py
sydar/cvx_gen.py
sydar/helpers.py
sydar/parser.py
sydar/region.py
sydar/symbol_table.py
sydar/utils.py
sydar.egg-info/PKG-INFO
sydar.egg-info/SOURCES.txt
sydar.egg-info/dependency_links.txt
sydar.egg-info/entry_points.txt
sydar.egg-info/not-zip-safe
sydar.egg-info/requires.txt
sydar.egg-info/top_level.txt