Downloads in the 30 and 7 days to October 10, 2026. Refreshed weekly.
Package Information
No reported malware or high/critical advisories · Details
The current version has no OSV.dev malware reports and no critical or high-severity vulnerabilities.
Package Insights
((week_daily_avg - month_daily_avg) / month_daily_avg) * 100More insights and metrics
Downloads by OS
Python Versions
Top Countries
Weekly Downloads
GitHub Stars
Dependencies
- z3-solver >=4.8.5.0
8 optional dependencies
-
graphviz>=0.20.1[develop]extra == "develop"
-
gymnasium>=0.28.1[develop]extra == "develop"
-
gymnasium>=0.28.1[gym]extra == "gym"
-
pygame>=2.1.2[develop]extra == "develop"
-
sphinx>=5.3.0[develop]extra == "develop"
-
sphinx-rtd-theme>=1.2.1[develop]extra == "develop"
-
stable-baselines3>=2.0.0[gym]extra == "gym"
-
stable-baselines3>=2.0.0[develop]extra == "develop"