README.md
setup.py
magics/__init__.py
magics/magics.py
magics/render.py
sppl.egg-info/PKG-INFO
sppl.egg-info/SOURCES.txt
sppl.egg-info/dependency_links.txt
sppl.egg-info/requires.txt
sppl.egg-info/top_level.txt
src/__init__.py
src/distributions.py
src/dnf.py
src/math_util.py
src/poly.py
src/render.py
src/sets.py
src/spe.py
src/sym_util.py
src/timeout.py
src/transforms.py
src/compilers/__init__.py
src/compilers/ast_to_spe.py
src/compilers/spe_to_dict.py
src/compilers/spe_to_sppl.py
src/compilers/sppl_to_python.py
tests/__init__.py
tests/test_ast_condition.py
tests/test_ast_for.py
tests/test_ast_ifelse.py
tests/test_ast_switch.py
tests/test_ast_transform.py
tests/test_burglary.py
tests/test_cache_duplicate_subtrees.py
tests/test_clickgraph.py
tests/test_dnf.py
tests/test_event_evaluate.py
tests/test_indian_gpa.py
tests/test_logpdf.py
tests/test_mutual_information.py
tests/test_nominal_distribution.py
tests/test_parse_distributions.py
tests/test_parse_spe.py
tests/test_parse_transforms.py
tests/test_poly.py
tests/test_product.py
tests/test_real_continuous.py
tests/test_real_discrete.py
tests/test_render.py
tests/test_sets.py
tests/test_solve_transforms.py
tests/test_spe_to_dict.py
tests/test_spe_to_spml.py
tests/test_spe_transform.py
tests/test_sppl_to_python.py
tests/test_substitute.py
tests/test_sum.py
tests/test_sum_simplify.py
tests/test_sym_util.py