Latest version: v1.0.2
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
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.
No known vulnerabilities found