pyapproxmc (pypi): Bindings to ApproxMC, an approximate model counter
Keywords: sat|model-counting|counting|model-couting|satisfiability