PyDigger - unearthing stuff about Python


NameVersionSummarydate
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
Caltech Control and Dynamical Systems
hourdayweektotal
68263310606260194
Elapsed time: 0.96788s