Name | Version | Summary | date |
---|---|---|---|
z3-solver | 4.13.0.0 | an efficient SMT solver library | 2024-03-07 19:20:07 |
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 |
---|---|---|---|
56 | 1680 | 9580 | 192528 |