Menu

WAPS

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 pypi.org/project/WAPS
Project JSON piwheels.org/project/waps/json
Versions 3
Files 2
Downloads (all time) loading...
Downloads (last 30 days) loading...

Install

sudo pip3 install WAPS

Should I use sudo? pip or pip3?

Releases

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