Metadata-Version: 2.1
Name: rinzer
Version: 1.0.2
Summary: 几何不变量闭包分析器
Requires-Python: >=3.8
Requires-Dist: z3-solver
