| Name | Version | Summary | date |
|---|---|---|---|
| smt-design-space-ext | 0.3.0 | SMT design space extension for hierarchical variables handling | 2024-11-08 18:44:52 |
| smt-portfolio | 1.0.0 | A simple wrapper to run multiple SMT solvers in parallel. | 2024-05-27 04:23:18 |
| hour | day | week | total |
|---|---|---|---|
| 47 | 1557 | 8110 | 280689 |