qiskit-sat-synthesis

View on PyPIReverse Dependencies (0)

0.0.1 qiskit_sat_synthesis-0.0.1-py3-none-any.whl

Wheel Details

Project: qiskit-sat-synthesis
Version: 0.0.1
Filename: qiskit_sat_synthesis-0.0.1-py3-none-any.whl
Download: [link]
Size: 49951
MD5: 4b9598ec47a91e8474a0d7126dd442df
SHA256: 6cbe3bf3aa61083d24a4b6929adaab5d0507b71cafff2824daa78eff1d4b9dff
Uploaded: 2024-06-20 12:44:11 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: qiskit-sat-synthesis
Version: 0.0.1
Summary: Sat-based synthesis plugins for Qiskit
Author: Alexander Ivrii
Author-Email: alexi[at]il.ibm.com
Home-Page: https://github.com/qiskit-community/qiskit-sat-synthesis
License: Apache 2.0 License
Keywords: Synthesis,Quantum,Qiskit,Plugins,Sat
Requires-Python: >=3.7
Requires-Dist: qiskit (>=0.45)
Requires-Dist: z3-solver
License-File: LICENSE.txt
[No description]

WHEEL

Wheel-Version: 1.0
Generator: setuptools (70.1.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
qiskit_sat_synthesis/__init__.py sha256=Y0G98gDJh6ti5VDL8sKOosZTgqtqL4ylLzEuXUEv3B0 758
qiskit_sat_synthesis/qiskit_synthesis_plugins.py sha256=-wjctcDIhuQlzHgUqhdOKaxTe8aW-OdRH0Q192isCOw 29190
qiskit_sat_synthesis/sat_encoder.py sha256=X_8OoTULhyPssLSfquC1D9xuhpzk6vj97M3753gXNUI 15003
qiskit_sat_synthesis/sat_problem.py sha256=eFztMzpVZDiHFJNeFmOWH8kcKjSjnkg8I4Mh7UjN_fg 40074
qiskit_sat_synthesis/sat_problem_clifford.py sha256=bQloCAamCoDOrHdZWcHEzLNO5ntOdCMexT2CIRoJfuM 17248
qiskit_sat_synthesis/sat_problem_constraints.py sha256=k-WKcpeWFKabjxjEVZLdwX-BvhaRj6JxR-T3zz_M_3Q 21323
qiskit_sat_synthesis/sat_problem_linear.py sha256=gsnQUVZ3HFVY2cj4KjKYnskJIyrIJogmvY0iFmM5hjo 6823
qiskit_sat_synthesis/sat_problem_linear_qudits.py sha256=r5jN6LXMVadm0X_-qd25equ8RkJZBYDRlLFTkHVBg2Y 10133
qiskit_sat_synthesis/sat_problem_permutation.py sha256=t2ydtLnj_I5adZbeun_2umZMJyd7TMo6T5fQinaTmXY 4794
qiskit_sat_synthesis/sat_problem_superposed.py sha256=fGB1GQbFBy0u_r-F4f02KRo4yx7UThvMpvfgEtv7vGg 6190
qiskit_sat_synthesis/sat_solver.py sha256=0KUiLWzB_dHEGFmYUv5fXyaTB1QAp9BkEu_nWWKuRh0 4461
qiskit_sat_synthesis/synthesize.py sha256=5swxQtqH0Nltv5tjJPGL8sNNMI0WlW4jZkt9O3HLFw0 4431
qiskit_sat_synthesis/synthesize_clifford.py sha256=HRvSVz1MB_0uQlWSp9cg_C8Av-tHr8GV0shlC7j0Aj0 12073
qiskit_sat_synthesis/synthesize_linear.py sha256=AZatyNmi5u6YXuMww9aBiv_nnKPNxSyA5j1SShc3OSo 25193
qiskit_sat_synthesis/synthesize_linear_qudits.py sha256=dTjdxREVHXviE1BsXvR6rJ9YpJsTlkihsB4s3Z6_Vg0 4756
qiskit_sat_synthesis/synthesize_permutation.py sha256=p8TBBX0gTUU9VtilCPEPhzmKru7nPDYQx1jMzRxzSlc 12933
qiskit_sat_synthesis/synthesize_superposed.py sha256=y7HUG_w0RB0WuOn4Exq6_1oK_s2Opk4jrZIjYULxmYQ 9902
qiskit_sat_synthesis/utils.py sha256=1qberXntDrKV_GMmu1XKRC6kHX7us5qnb0CO6NytgZw 2688
qiskit_sat_synthesis-0.0.1.dist-info/LICENSE.txt sha256=pUbmRuPr1gJTTTWZu2c8UmNSntz-pDdKfGR-86NRkok 11619
qiskit_sat_synthesis-0.0.1.dist-info/METADATA sha256=Xb0q2B24qfImQXh1qJWCZ0yvU5oJxtC2SI9yvNC2sl0 428
qiskit_sat_synthesis-0.0.1.dist-info/WHEEL sha256=cpQTJ5IWu9CdaPViMhC9YzF8gZuS5-vlfoFihTBC86A 91
qiskit_sat_synthesis-0.0.1.dist-info/entry_points.txt sha256=-easzgRR0toxV8QLdnT9u4pQI3nxhhoAL_fmWJFiJyQ 615
qiskit_sat_synthesis-0.0.1.dist-info/top_level.txt sha256=J_xCo4xInnrcCh87CBUcPBX2BkzLnaww0ESG-Yfiu2A 21
qiskit_sat_synthesis-0.0.1.dist-info/RECORD

top_level.txt

qiskit_sat_synthesis

entry_points.txt

clifford.sat_count = qiskit_sat_synthesis.qiskit_synthesis_plugins:SatSynthesisCliffordCount
clifford.sat_depth = qiskit_sat_synthesis.qiskit_synthesis_plugins:SatSynthesisCliffordDepth
linear_function.sat_count = qiskit_sat_synthesis.qiskit_synthesis_plugins:SatSynthesisLinearFunctionCount
linear_function.sat_depth = qiskit_sat_synthesis.qiskit_synthesis_plugins:SatSynthesisLinearFunctionDepth
permutation.sat_count = qiskit_sat_synthesis.qiskit_synthesis_plugins:SatSynthesisPermutationCount
permutation.sat_depth = qiskit_sat_synthesis.qiskit_synthesis_plugins:SatSynthesisPermutationDepth