waps (pypi): This library can be used to sample satisfying assignments for a CNF/DNF obeying a given literal-weighted weight function and projected upon a given sampling set.
Keywords: sampling|cnf|weighted|projected|dDNNF|knowledge-compilation|projection-sampling|sampling-methods|weighted-sampling