PySDD

View on PyPIReverse Dependencies (5)

1.0.0 PySDD-1.0.0-cp39-cp39-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PySDD-1.0.0-cp39-cp39-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
PySDD-1.0.0-cp39-cp39-win_amd64.whl
PySDD-1.0.0-cp39-cp39-macosx_10_9_x86_64.whl
PySDD-1.0.0-cp39-cp39-win_arm64.whl
PySDD-1.0.0-cp39-cp39-musllinux_1_2_x86_64.whl
PySDD-1.0.0-cp39-cp39-musllinux_1_2_aarch64.whl
PySDD-1.0.0-cp39-cp39-macosx_11_0_arm64.whl
PySDD-1.0.0-cp38-cp38-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PySDD-1.0.0-cp38-cp38-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
PySDD-1.0.0-cp38-cp38-win_amd64.whl
PySDD-1.0.0-cp38-cp38-macosx_10_9_x86_64.whl
PySDD-1.0.0-cp38-cp38-musllinux_1_2_x86_64.whl
PySDD-1.0.0-cp38-cp38-musllinux_1_2_aarch64.whl
PySDD-1.0.0-cp38-cp38-macosx_11_0_arm64.whl
PySDD-1.0.0-cp313-cp313-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PySDD-1.0.0-cp313-cp313-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
PySDD-1.0.0-cp313-cp313-win_amd64.whl
PySDD-1.0.0-cp313-cp313-macosx_10_13_x86_64.whl
PySDD-1.0.0-cp313-cp313-win_arm64.whl
PySDD-1.0.0-cp313-cp313-musllinux_1_2_x86_64.whl
PySDD-1.0.0-cp313-cp313-musllinux_1_2_aarch64.whl
PySDD-1.0.0-cp313-cp313-macosx_11_0_arm64.whl
PySDD-1.0.0-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PySDD-1.0.0-cp312-cp312-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
PySDD-1.0.0-cp312-cp312-win_amd64.whl
PySDD-1.0.0-cp312-cp312-macosx_10_13_x86_64.whl
PySDD-1.0.0-cp312-cp312-win_arm64.whl
PySDD-1.0.0-cp312-cp312-musllinux_1_2_x86_64.whl
PySDD-1.0.0-cp312-cp312-musllinux_1_2_aarch64.whl
PySDD-1.0.0-cp312-cp312-macosx_11_0_arm64.whl
PySDD-1.0.0-cp311-cp311-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PySDD-1.0.0-cp311-cp311-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
PySDD-1.0.0-cp311-cp311-win_amd64.whl
PySDD-1.0.0-cp311-cp311-macosx_10_9_x86_64.whl
PySDD-1.0.0-cp311-cp311-win_arm64.whl
PySDD-1.0.0-cp311-cp311-musllinux_1_2_x86_64.whl
PySDD-1.0.0-cp311-cp311-musllinux_1_2_aarch64.whl
PySDD-1.0.0-cp311-cp311-macosx_11_0_arm64.whl
PySDD-1.0.0-cp310-cp310-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
PySDD-1.0.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
PySDD-1.0.0-cp310-cp310-win_amd64.whl
PySDD-1.0.0-cp310-cp310-macosx_10_9_x86_64.whl
PySDD-1.0.0-cp310-cp310-win_arm64.whl
PySDD-1.0.0-cp310-cp310-musllinux_1_2_x86_64.whl
PySDD-1.0.0-cp310-cp310-musllinux_1_2_aarch64.whl
PySDD-1.0.0-cp310-cp310-macosx_11_0_arm64.whl

Wheel Details

Project: PySDD
Version: 1.0.0
Filename: PySDD-1.0.0-cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Download: [link]
Size: 1630456
MD5: 72ce36b35c0d284c0a00a4a8f96fe1d5
SHA256: c49d585f806386c0360c6242e0f64730570215a86bd4a5bd28d1081db862db63
Uploaded: 2024-10-29 21:17:48 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: PySDD
Version: 1.0.0
Summary: Sentential Decision Diagrams
Author: Arthur Choi
Author-Email: Wannes Meert <wannes.meert[at]cs.kuleuven.be>
Project-Url: Homepage, https://github.com/wannesm/PySDD
Project-Url: Documentation, https://pysdd.readthedocs.io/en/latest/
License: Copyright 2018, KU Leuven and Regents of the University of California Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.
Keywords: sdd, knowledge compilation
Classifier: Intended Audience :: Developers
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Requires-Python: >=3.8
Requires-Dist: cython
Requires-Dist: numpy
Requires-Dist: pytest; extra == "tests"
Provides-Extra: tests
Description-Content-Type: text/x-rst
License-File: LICENSE
[Description omitted; length: 5052 characters]

WHEEL

Wheel-Version: 1.0
Generator: setuptools (75.3.0)
Root-Is-Purelib: false
Tag: cp310-cp310-manylinux_2_17_aarch64
Tag: cp310-cp310-manylinux2014_aarch64

RECORD

Path Digest Size
PySDD-1.0.0.dist-info/top_level.txt sha256=_L11xkkgNpPVgmo8iYCg9PgIRe41nPLle1rjhIJgoNc 6
PySDD-1.0.0.dist-info/RECORD
PySDD-1.0.0.dist-info/LICENSE sha256=XxAVpQ6cn9pux5wwmDZuYHXL5JZWuM01W9Di3p0nXCg 594
PySDD-1.0.0.dist-info/entry_points.txt sha256=wJDgU0k4O8ra-dgCPMcddMbtXFuC8jpvzLQLRyZP3UU 41
PySDD-1.0.0.dist-info/METADATA sha256=pbZkQvgG_eTTJb05OvRoO9W4Fw34ANBkRGowaI9JN2A 6510
PySDD-1.0.0.dist-info/WHEEL sha256=-9eBra_KM-_TmuEES-7OHV5TC7HLGtW_3MOKodahZQ4 153
pysdd/wmcstochastic.py sha256=FZ4Zd2LjrMF0YggJWujAwZrrZVI_0eC9UVr2JDfrVIo 7399
pysdd/iterator.py sha256=Fap3p8CvlZdWKW6mLXfsrjaRkUnwYdSJzzRFYcaNPY4 9854
pysdd/sdd.pyx sha256=vM-vxIMRV2A1V48qZUYUrKIt7vgX-1C4hb3kyZXEimw 74766
pysdd/util.py sha256=Rp9nFKwm9sGSiEXu0w5gTXuZ0TGRrGuqxmBXNvWYCow 15848
pysdd/__init__.py sha256=J-j-u0itpEFT6irdmWmixQqYMadNl1X91TxUmoiLHMI 22
pysdd/cli.py sha256=TPxCcH6EWd9RiI5CbvpGP7CswR3H-tL8ySdEftv3rTE 9639
pysdd/__main__.py sha256=aPlR2uZtMfZu_nh2QN-PMyJN7Qnacl661uUoxLJryxk 382
pysdd/sdd.cpython-310-aarch64-linux-gnu.so sha256=QklhGXb8spjKRXKQR-EipwJVfKCG8WudvDWz1kHwqm0 5362632
pysdd/lib/sdd-2.0/src/fnf/utils.c sha256=SG5rGA_6urBKfLEOUJ3c3RnQVYrP8UcVZOksZZRqk8Q 2910
pysdd/lib/sdd-2.0/src/fnf/compiler.c sha256=tW18c_F7CBFYmLVHgb0lue1XwGfgJNLJTQvmyzgJ7aw 4245
pysdd/lib/sdd-2.0/src/fnf/fnf.c sha256=S2bl1vRQaK_i5xdCbAt1CFmhy5NnxrRxbI60GU3DWBQ 1871
pysdd/lib/sdd-2.0/src/fnf/io.c sha256=3bm0UmniA_LaXnGvmQP-rw1V-it8b6MtNpAaEQhmx7E 6090
pysdd/lib/libsdd-2.0/src/util.c sha256=oxOntv0KJFgqVylywIwg4C2Y1s67wA0Ziza-W41CYIE 7164
pysdd/lib/libsdd-2.0/src/verify.c sha256=B7H-ZC9CEWCARxgTVe3kTnszgu5JZpUvEwIv8_E3Zvo 7545
pysdd/lib/libsdd-2.0/src/version.c sha256=H0ENRWOSfIzVhgtAWYa4itq7KT84PVsB1tQMgtJwaB8 571
pysdd/lib/libsdd-2.0/src/vtree_fragments/construction.c sha256=quNKL3f_ztNkRCX_D05_KPwncudrbmHBkEq9OTDEhAE 13804
pysdd/lib/libsdd-2.0/src/vtree_fragments/operations.c sha256=lAqu7G_J3aY4iy5K0gMhqBLazYf1-5OEqUZIHuiR9aM 11634
pysdd/lib/libsdd-2.0/src/vtree_fragments/moves.c sha256=Z-tySOYLSXlRE7JzcgOE8jRZIg5-Ce_3tIgJ0GEl_OE 3359
pysdd/lib/libsdd-2.0/src/vtree_search/search.c sha256=FDkPzm-3Gz7kOW__zY77uanLxbFRSuH1QXe06dCarIg 12930
pysdd/lib/libsdd-2.0/src/vtree_search/auto.c sha256=ZlhlbJYmhrJJI9p6Y_vcttCGS1wqbEK6TX6WdHcj-CM 7141
pysdd/lib/libsdd-2.0/src/vtree_search/state.c sha256=l6rj14y4Ev55AyX9-roQEdgXGksOUh8Q1nnwgVX8EfM 5597
pysdd/lib/libsdd-2.0/src/sdds/model_count.c sha256=hhZwphcAweXvdN_ZlO7aZuyZPgpK7-peCQ76BC_FjUY 5091
pysdd/lib/libsdd-2.0/src/sdds/size.c sha256=UR58SSe3TS70Bg9xlkwqPQf0KZLOu3C0Peki8TqAPvo 2006
pysdd/lib/libsdd-2.0/src/sdds/cardinality.c sha256=f1y_s94iu8N3ddj8uC4v6NsYCCYfc9GicCWZgwjG9Bs 11760
pysdd/lib/libsdd-2.0/src/sdds/essential_vars.c sha256=QyPm_yGbWgZFNwrNBNaej443Nhb9W-q0x_ChmBgGIUU 4002
pysdd/lib/libsdd-2.0/src/sdds/bits.c sha256=0qSNxOfgNOjf0TtQtTJnnzLE-tdewDS9ASXAtD-H-Bc 5076
pysdd/lib/libsdd-2.0/src/sdds/count.c sha256=961Zi5fTc2u-Wc6JSmH7DWqKVsxm21DZIKAm-YmY__Q 2557
pysdd/lib/libsdd-2.0/src/sdds/condition.c sha256=6BOeT0_yEUXHhqQOTGeQwf70h7WcU1dIZLRqaWqXxMM 4176
pysdd/lib/libsdd-2.0/src/sdds/copy.c sha256=tfG6I9RXUdXA95VMxbsYA1n0FmDq03egyHQ35oSSeVM 4403
pysdd/lib/libsdd-2.0/src/sdds/io.c sha256=55q_wscSj6X2zAD7WWgYQgXOL2SsM4Qvv4OTLlwU66M 13968
pysdd/lib/libsdd-2.0/src/sdds/rename_vars.c sha256=Sm8W95KTyQjsSaD5reZnFfoIGpQV53kVZUZdEV7FFM8 4133
pysdd/lib/libsdd-2.0/src/sdds/exists_multiple_static.c sha256=PlWrFLrzgolkxqfFOlTfm3elVhA_kgKDQbjKR58-IgE 5567
pysdd/lib/libsdd-2.0/src/sdds/apply.c sha256=sScolfxH0TYYCn3ylVOqxGeF4l2mZz-Thgqs2lE_bl0 15428
pysdd/lib/libsdd-2.0/src/sdds/exists_multiple.c sha256=TD9mqmxkkX-gz-4aQD8pESfJbUaYFmYTrjlYvqXi86A 11255
pysdd/lib/libsdd-2.0/src/sdds/exists.c sha256=sv2Y-HXhFYJ9XilJ0u6y3vNkenp94Hg1ot84eextq_4 1150
pysdd/lib/libsdd-2.0/src/sdds/wmc.c sha256=bwR4-fS2VmBVZb82SovTY_vzHefHgKguZSod8aMwz1Q 16405
pysdd/lib/libsdd-2.0/src/sdds/forall.c sha256=9giwxqhVb6d9c60tYk7VXKATSnWM_fXcbuyM_ri8MpY 1162
pysdd/lib/libsdd-2.0/src/manager/variables.c sha256=wmxI_h0eBFFM1Djn6eRVBgr7cTkqpO9gtknu-xk5Iwc 10292
pysdd/lib/libsdd-2.0/src/manager/copy.c sha256=Z24NMdLKvFRAyK8iW8SSWPk-VvnJrVf3fZxpaiuL6JM 3401
pysdd/lib/libsdd-2.0/src/manager/stats.c sha256=ZRi-0SiAwCT1H8Lv7KhZLxAW6nKAWY5S0WceZdCE9c0 10112
pysdd/lib/libsdd-2.0/src/manager/manager.c sha256=fzYrzFjXWNjr3pzD0vU38SaJc4O_Z0K5b6fkiZV9hT0 11416
pysdd/lib/libsdd-2.0/src/manager/interface.c sha256=9pawnX7LlD0CQ6sW3HeYTatcEPHwTpa1yw1d5QQao7M 13465
pysdd/lib/libsdd-2.0/src/vtree_operations/rollback.c sha256=NCzAbtxcdSLT2HBZwH4mY0MR_BM_GbuwxM7x-aFCRyw 2965
pysdd/lib/libsdd-2.0/src/vtree_operations/op_right_rotate.c sha256=mAMe_ob_rUFoChdttKfMYNco-1wWKiy1vq3fA2BNPnY 6166
pysdd/lib/libsdd-2.0/src/vtree_operations/op_swap.c sha256=A-8W4iJBivxiiy9FTIH2V-IxgqnppAv22PY3AVUhyCE 4505
pysdd/lib/libsdd-2.0/src/vtree_operations/dissect.c sha256=Jfgt9fMITAljpu20QMXMHVcayyLq8kDZXaYgtnOzUsM 2551
pysdd/lib/libsdd-2.0/src/vtree_operations/op_left_rotate.c sha256=OK6ibtx_OxPg-S8JjXUDo8L7hzbF8B5CERnyF-8McKQ 6023
pysdd/lib/libsdd-2.0/src/vtree_operations/cartesian_product.c sha256=-C7j87Mcy_vv4XDXUFLc00hPWLOG5Y5xOFkp7b6zYdk 7138
pysdd/lib/libsdd-2.0/src/vtree_operations/split.c sha256=uVOw4Riwf0q90WZL1yrwJyj5_Hj1rHENpZjfCqn0O1w 6804
pysdd/lib/libsdd-2.0/src/vtree_operations/limits.c sha256=V-Y_gvX9bILuZHWNXqJHXscAQJrUSVMULQkXbYRq41o 10210
pysdd/lib/libsdd-2.0/src/basic/references.c sha256=RfGNaqK5kpqELOY4mGKOF5Gca2DIC0pkH9-IFj2Duss 2683
pysdd/lib/libsdd-2.0/src/basic/computed.c sha256=xdmyp0z9BVo-ICdR31mJuh4PYMwHl3-kz_54N7LeOdk 3861
pysdd/lib/libsdd-2.0/src/basic/partitions.c sha256=rTVrfs9W6IcTbAAePFYywpOd5-98ThNWVFkzuHkfheM 15678
pysdd/lib/libsdd-2.0/src/basic/sort.c sha256=5SMQpo3Qm1rzisTM9-OLkodFukDf_DiduDTOv_SiT0I 5870
pysdd/lib/libsdd-2.0/src/basic/hash.c sha256=FXcAOsY9OGEYGd530HmoLmZm8oK2YndqfJneubwJ1_c 7285
pysdd/lib/libsdd-2.0/src/basic/count_and_size.c sha256=KjWdwyMpHKceKzZcHfppoZRTDrxw3YHTj5DUdfg5qhI 6155
pysdd/lib/libsdd-2.0/src/basic/replace.c sha256=z3kmvMfj_PuFk7AfTe95sTCZscbGqp8XY80UVQogNcs 3656
pysdd/lib/libsdd-2.0/src/basic/shadows.c sha256=QpX99PtY3aMVeTiYV3SfTfUCi_lUMGqksTe32jtgJms 14263
pysdd/lib/libsdd-2.0/src/basic/nodes.c sha256=Ok6-ixDeegQbOqFyIkmbhTpQaFNSVrP9tNw_2z1lhSU 6542
pysdd/lib/libsdd-2.0/src/basic/memory.c sha256=5rFVnKvTKyX8phsxousTGS0ubvDBRcxBUz6PANRLyxo 7613
pysdd/lib/libsdd-2.0/src/basic/multiply.c sha256=bj_V-qvPlK54gs_tL7V-4oZ3ozIu0lEOins2XjNhzgg 8364
pysdd/lib/libsdd-2.0/src/basic/gc.c sha256=9iE5QwaQd9d_k5vlsbGlm7Wf9OV6pVQlQPqPF29TWyM 3824
pysdd/lib/libsdd-2.0/src/vtrees/io.c sha256=KgChyI7K5KMZTcGe6lUJRgtTh8XsNJQylNBRAd1Svs0 7018
pysdd/lib/libsdd-2.0/src/vtrees/edit.c sha256=TVPDQ2_P8f7Mt8lGxvoaJl7BHntsEmyDvQZVIz7HP6I 7252
pysdd/lib/libsdd-2.0/src/vtrees/compare.c sha256=_2ld7m891n_G93OL9FKReaGnUr79NptPeOhbfb3L6b0 4560
pysdd/lib/libsdd-2.0/src/vtrees/static.c sha256=l2-VYnq5jTyvEAocJ5c3LYphJAtKxj3k2bYT9OrJJDg 10741
pysdd/lib/libsdd-2.0/src/vtrees/moves.c sha256=zzRBa4jQWiMG7A5tIVfWliuMzE__abbssBgAZz26s2g 4939
pysdd/lib/libsdd-2.0/src/vtrees/vtree.c sha256=sDJlutfwZXrluTcJ5tuPXnBi6aYkuBHkYz0K2dTMkkw 6376
pysdd/lib/libsdd-2.0/src/vtrees/maps.c sha256=jh5V4hy8mW-FWl1ci-XzeMCrblkmDbLYpSlw8VvO694 1389

top_level.txt

pysdd

entry_points.txt

pysdd = pysdd.cli:main