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
- funcy <2.0,>=1.14
- py-aiger-bv <5.0.0,>=4.5.1
- py-aiger-ptltl <4.0.0,>=3.0.1
- pyrsistent <0.20,>=0.19
1 optional dependencies
-
mdd<0.4.0,>=0.3.3[mdd]extra == "mdd"
Used By
- py-aiger-coins 677/mo
- py-aiger-gridworld 183/mo