| Name | Version | Summary | date |
|---|---|---|---|
| omega | 0.4.0 | Symbolic algorithms for solving games of infinite duration. | 2024-02-16 15:25:15 |
| dd | 0.6.0 | Binary decision diagrams implemented in pure Python, as well as Cython wrappers of CUDD, Sylvan, and BuDDy. | 2023-12-16 13:31:27 |
| pyeda | 0.29.0 | Python Electronic Design Automation | 2023-11-19 17:38:55 |
| hour | day | week | total |
|---|---|---|---|
| 65 | 1208 | 7261 | 281784 |