PyDigger - unearthing stuff about Python


NameVersionSummarydate
bauhaus 1.2.0 Build logical theories for SAT solvers on the fly 2024-09-11 01:00:50
nnf 0.4.1 Manipulate NNF (Negation Normal Form) logical sentences 2022-12-13 05:01:13
hourdayweektotal
7722169384269168
Elapsed time: 1.39120s