Wheelodex » Projects » WAPS

WAPS

1.0.2

waps-1.0.2-py3-none-any.whl

Wheel Details

Metadata-Version:	2.1
Name:	waps
Version:	1.0.2
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.
Author:	Rahul Gupta
Author-Email:	rahujupiter[at]gmail.com
Home-Page:	https://github.com/meelgroup/waps/
Download-Url:	https://github.com/meelgroup/waps/archive/v1.0.2.tar.gz
License:	MIT
Keywords:	sampling,cnf,weighted sampling,projected sampling,dDNNF
Classifier:	Development Status :: 3 - Alpha
Classifier:	Intended Audience :: Developers
Classifier:	Topic :: Software Development :: Build Tools
Classifier:	License :: OSI Approved :: MIT License
Classifier:	Programming Language :: Python :: 3
Classifier:	Programming Language :: Python :: 3.4
Classifier:	Programming Language :: Python :: 3.5
Classifier:	Programming Language :: Python :: 3.6
Classifier:	Programming Language :: Python :: 3.7
Requires-Dist:	numpy
Requires-Dist:	pydot
Requires-Dist:	gmpy2
Requires-Dist:	pyparsing
Description-Content-Type:	text/markdown

[Description omitted; length: 5856 characters]

Path	Digest	Size
waps/__init__.py	sha256=7qEhBbZE7eP-q-3VKshz6TCsxvsPt5K-1ZXXMr0nSGs	29
waps/waps.py	sha256=Ci6bfLVxjlVY75NPXJKAyoDkC2byo3fPLmLII49__wo	28398
waps-1.0.2.dist-info/LICENSE.txt	sha256=ePEJRqbLim_HccGowFcZdYqXWCZSZIBIqp_PJsj7CJc	1112
waps-1.0.2.dist-info/METADATA	sha256=eSpnZnkkzxMDWjmps4_BTKk_sxFtPh2egGzcfLxypWI	6917
waps-1.0.2.dist-info/WHEEL	sha256=_NOXIqFgOaYmlm9RJLPQZ13BJuEIrp5jx5ptRD5uh3Y	92
waps-1.0.2.dist-info/top_level.txt	sha256=9Ph3ELqLTHRpI_YK6zn_yEtwNTRTJxx8hisKeTB87P0	5
waps-1.0.2.dist-info/RECORD	—	—

waps