Metadata-Version: 2.4
Name: ast-equiv
Version: 0.1.0
Summary: Python AST equivalence comparison
License-Expression: MIT
License-File: LICENSE
Requires-Python: >=3.11
Requires-Dist: sympy>=1.14.0
Provides-Extra: dev
Requires-Dist: hypothesis; extra == 'dev'
Requires-Dist: pyright; extra == 'dev'
Requires-Dist: pytest; extra == 'dev'
Description-Content-Type: text/markdown

# ast-equiv

Python AST equivalence comparison.

## Tiers

- **NONE** -- no equivalence proof found
- **CANONICAL** -- alpha-renaming and structural normalization match
- **SYMPY** -- algebraic expression equivalence over the configured symbolic domain
- **PARTIAL_EVAL** -- known concept values are substituted before canonical/SymPy comparison
