PyDigger - unearthing stuff about Python


NameVersionSummarydate
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
hourdayweektotal
7520939560192643
Elapsed time: 0.88352s