| Name | Version | Summary | date |
|---|---|---|---|
| deal | 4.24.4 | **Deal** is a Python library for [design by contract][wiki] (DbC) programming. | 2024-03-23 10:26:56 |
| deal-solver | 0.1.2 | z3-powered solver (theorem prover) for deal. | 2023-09-28 13:31:23 |
| hour | day | week | total |
|---|---|---|---|
| 70 | 2271 | 9380 | 269189 |