PyDigger - unearthing stuff about Python


NameVersionSummarydate
bauhaus 1.1.4 Build logical theories for SAT solvers on the fly 2022-12-13 05:05:22
nnf 0.4.1 Manipulate NNF (Negation Normal Form) logical sentences 2022-12-13 05:01:13
hourdayweektotal
5413629801203690
Elapsed time: 0.94331s