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 |
endplay | 0.5.8 | A suite of tools for generation and analysis of bridge deals | 2024-03-09 16:31:18 |
deal-solver | 0.1.2 | z3-powered solver (theorem prover) for deal. | 2023-09-28 13:31:23 |
hour | day | week | total |
---|---|---|---|
75 | 2093 | 9560 | 192643 |