pyunigen (pypi): Bindings to UniGen, an approximate sampler
Keywords: sat|model-counting