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
- bdd2dfa <2.0.0,>=1.0.3
- dd <0.6.0,>=0.5.5
- funcy <2.0,>=1.14
- networkx <3.0,>=2.5
- py-aiger <7.0.0,>=6.1.1
- py-aiger-bdd <4.0.0,>=3.0.0
- py-aiger-bv <5.0.0,>=4.3.0