aspmc (pypi): An efficient algebraic model counter.
Keywords: probabilistic|model counting|logic programming|answer set programming