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.

PyPI page
Project JSON
Versions 3
Files 2
Downloads (all time) loading...
Downloads (last 30 days) loading...


sudo pip3 install WAPS

Should I use sudo? pip or pip3?


Version Released Stretch Buster Files
1.0.2 2019-03-25 +
1.0.1 2019-03-25 +
1.0 2019-03-25

Issues with this package?

Check if there's an open issueSearch
Package or version missing?New issue
Something else?New issue

Page last updated 2020-09-28 15:49 UTC