LICENSE
README.md
pyproject.toml
src/shrinkray/__init__.py
src/shrinkray/__main__.py
src/shrinkray/cli.py
src/shrinkray/display.py
src/shrinkray/formatting.py
src/shrinkray/problem.py
src/shrinkray/process.py
src/shrinkray/py.typed
src/shrinkray/reducer.py
src/shrinkray/state.py
src/shrinkray/tui.py
src/shrinkray/ui.py
src/shrinkray/work.py
src/shrinkray.egg-info/PKG-INFO
src/shrinkray.egg-info/SOURCES.txt
src/shrinkray.egg-info/dependency_links.txt
src/shrinkray.egg-info/entry_points.txt
src/shrinkray.egg-info/requires.txt
src/shrinkray.egg-info/top_level.txt
src/shrinkray/passes/__init__.py
src/shrinkray/passes/bytes.py
src/shrinkray/passes/clangdelta.py
src/shrinkray/passes/definitions.py
src/shrinkray/passes/genericlanguages.py
src/shrinkray/passes/json.py
src/shrinkray/passes/patching.py
src/shrinkray/passes/python.py
src/shrinkray/passes/sat.py
src/shrinkray/passes/sequences.py
src/shrinkray/subprocess/__init__.py
src/shrinkray/subprocess/client.py
src/shrinkray/subprocess/protocol.py
src/shrinkray/subprocess/worker.py
tests/test_byte_reduction_passes.py
tests/test_clang_delta.py
tests/test_cli.py
tests/test_definitions.py
tests/test_dimacs_cnf.py
tests/test_display.py
tests/test_formatting.py
tests/test_generic_language.py
tests/test_generic_shrinking_properties.py
tests/test_json_passes.py
tests/test_main.py
tests/test_misc_reduction_performance.py
tests/test_patching.py
tests/test_problem.py
tests/test_process.py
tests/test_python_reducers.py
tests/test_reducer.py
tests/test_reduction_passes.py
tests/test_sat.py
tests/test_state.py
tests/test_subprocess_client.py
tests/test_subprocess_integration.py
tests/test_subprocess_protocol.py
tests/test_subprocess_worker.py
tests/test_tui.py
tests/test_tui_snapshots.py
tests/test_ui.py
tests/test_work.py