PyPI page
Home page
Author:
Rahul Gupta
License:
MIT
Summary:
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.
Latest version:
1.0.2
Required dependencies:
gmpy2
|
numpy
|
pydot
|
pyparsing
Downloads last day:
2
Downloads last week:
9
Downloads last month:
42