pycmsgen (pypi): Bindings to CMSGen, uniform-like sampler
Keywords: sat|sampling