| Name | Version | Summary | date |
|---|---|---|---|
| z3-solver | 4.13.3.0 | an efficient SMT solver library | 2024-10-10 23:42:06 |
| piacere-doml-synthesis | 2023.1.3 | Synthetize DOML from user requirements | 2023-01-31 15:57:11 |
| piacere-synthesis | 2023.1.0 | Synthetize DOML from user requirements | 2023-01-25 16:43:11 |
| hour | day | week | total |
|---|---|---|---|
| 31 | 1909 | 10835 | 265983 |