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,>=22
- funcy <2.0,>=1.13
- py-aiger <7.0.0,>=6.1.1
- py-aiger-bv <5.0.0,>=4.4.0
- py-aiger-discrete <0.2.0,>=0.1.2
4 optional dependencies
-
mdd<0.4.0,>=0.3.4[bdd]extra == "bdd"
-
numpy<2.0.0,>=1.19.4[bdd]extra == "bdd"
-
py-aiger-bdd<4.0.0,>=3.0.0[bdd]extra == "bdd"
-
py-aiger-sat<4.0.0,>=3.0.4[sat]extra == "sat"
Used By
- mce-spec-inference 56/mo