Metadata-Version: 2.4
Name: rinzer
Version: 1.0.0
Summary: 几何不变量闭包分析器
Requires-Python: >=3.8
Requires-Dist: z3-solver
Dynamic: requires-dist
Dynamic: requires-python
Dynamic: summary
