# 数学探索扩展层；核心可移植依赖仍由 requirements.txt 管理。
cvc5==1.3.4
gmpy2==2.3.1
igraph==1.0.0
networkx==3.6.1
python-flint==0.9.0
python-sat==1.9.dev14
