LICENSE
MANIFEST.in
README-PYPI.md
README.md
pyproject.toml
setup.py
src/sindi/__init__.py
src/sindi/__main__.py
src/sindi/ast_rewriter.py
src/sindi/cli.py
src/sindi/comparator.py
src/sindi/comparator_light.py
src/sindi/config.py
src/sindi/diversify_predicates.py
src/sindi/parser.py
src/sindi/rewriter.py
src/sindi/simplifier.py
src/sindi/tokenizer.py
src/sindi/utils.py
src/sindi/witness.py
src/sindi.egg-info/PKG-INFO
src/sindi.egg-info/SOURCES.txt
src/sindi.egg-info/dependency_links.txt
src/sindi.egg-info/entry_points.txt
src/sindi.egg-info/requires.txt
src/sindi.egg-info/top_level.txt
tests/test_cli_light.py
tests/test_cli_tool.py
tests/test_comparator.py
tests/test_comparator_light.py
tests/test_parser.py
tests/test_rewriter_smoke.py
tests/test_simplifier.py
tests/test_tokenizer.py
tests/test_witness_complex.py
tests/test_witness_solving.py