| Name | Version | Summary | date |
|---|---|---|---|
| z3-solver | 4.13.0.0 | an efficient SMT solver library | 2024-03-07 19:20:07 |
| mastapy | 13.0.1.post4 | Python scripting API for MASTA. | 2024-02-26 16:46:27 |
| smt-portfolio | 0.3.3 | A simple wrapper to run multiple SMT solvers in parallel. | 2023-12-21 17:24:55 |
| python-constraint2 | 2.0.0b3 | python-constraint is a module for efficiently solving CSPs (Constraint Solving Problems) over finite domains. | 2023-09-11 09:51:33 |
| hour | day | week | total |
|---|---|---|---|
| 106 | 2149 | 9736 | 197865 |