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
- attrs >=23
- bidict <1,>=0.22.0
- funcy <3,>=2
- pyrsistent <1,>=0.19.0
- sortedcontainers <3,>=2.3.0
Used By
- py-aiger-cnf 7.4K/mo
- py-aiger-bv 1.2K/mo
- py-aiger-coins 677/mo
- py-aiger-bdd 612/mo
- py-aiger-ptltl 487/mo
- py-aiger-sat 386/mo
- py-aiger-dfa 243/mo
- mdd 229/mo
- py-aiger-gridworld 183/mo
- py-aiger-abc 96/mo