PyDigger - unearthing stuff about Python


NameVersionSummarydate
satdigitalinvoice 4.0.30 GUI APP to Generate CFDI 2024-03-14 04:43:19
z3-solver 4.13.0.0 an efficient SMT solver library 2024-03-07 19:20:07
rustsat 0.4.3 This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance. 2024-02-23 08:25:56
pyunigen 2.5.8 Bindings to UniGen, an approximate sampler 2024-02-08 21:30:21
pyapproxmc 4.1.24 Bindings to ApproxMC, an approximate model counter 2024-02-08 21:20:01
pycryptosat 5.11.20 Bindings to CryptoMiniSat, an advanced SAT solver 2024-02-08 21:04:42
pycmsgen 6.1.0 Bindings to CMSGen, uniform-like sampler 2024-02-07 23:12:51
pyeda 0.29.0 Python Electronic Design Automation 2023-11-19 17:38:55
optilog 0.6.0 2023-10-30 16:44:11
python-constraint2 2.0.0b3 python-constraint is a module for efficiently solving CSPs (Constraint Solving Problems) over finite domains. 2023-09-11 09:51:33
ctlog 0.6.0 SAT-Based Combinatorial Testing in Python 2023-07-09 11:14:40
bauhaus 1.1.4 Build logical theories for SAT solvers on the fly 2022-12-13 05:05:22
hourdayweektotal
8713119601192423
Elapsed time: 0.85519s