Name | Version | Summary | date |
---|---|---|---|
polytope | 0.2.5 | Polytope Toolbox | 2024-03-07 07:03:10 |
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 |
hour | day | week | total |
---|---|---|---|
47 | 1599 | 10642 | 264293 |