| Name | Version | Summary | date |
|---|---|---|---|
| z3-solver | 4.15.3.0 | an efficient SMT solver library | 2025-08-16 02:27:37 |
| mastapy | 15.0.0.post1 | Python scripting API for MASTA. | 2025-07-29 14:29:26 |
| python-constraint2 | 2.4.0 | python-constraint is a module for efficiently solving CSPs (Constraint Solving Problems) over finite domains. | 2025-07-23 09:41:48 |
| hour | day | week | total |
|---|---|---|---|
| 71 | 1554 | 10269 | 312554 |