published Published over 2 years ago
Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling
Python
published Published about 5 years ago
emcee v3: A Python ensemble sampling toolkit for affine-invariant MCMC
Python
published Published over 6 years ago