qiskit-sat-synthesis

View on PyPIReverse Dependencies (0)

0.0.2 qiskit_sat_synthesis-0.0.2-py3-none-any.whl

Wheel Details

Project: qiskit-sat-synthesis
Version: 0.0.2
Filename: qiskit_sat_synthesis-0.0.2-py3-none-any.whl
Download: [link]
Size: 50072
MD5: 4458545cb6fec97438833516c6387f67
SHA256: c26458e1c3347758d31f1fcb0b3f3a30b73815f5c0da3ae2b22a5f96a60d9a09
Uploaded: 2024-12-24 07:05:04 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: qiskit-sat-synthesis
Version: 0.0.2
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 (>=1.2.0)
Requires-Dist: z3-solver
License-File: LICENSE.txt
[No description]

WHEEL

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

RECORD

Path Digest Size
qiskit_sat_synthesis/__init__.py sha256=Od5obVjNTqgWfCXr8mj7HR_DmkQtnFxPnSDmQ5wgVog 738
qiskit_sat_synthesis/qiskit_synthesis_plugins.py sha256=YbUrq2t0aKVaH9e8yeC95L9CpLu9768cjTVdydIbjmc 28580
qiskit_sat_synthesis/sat_encoder.py sha256=Mm83tZD9t_AZ6lxkk63Wn0JESXZaxFHUOeiOkvI8yZo 14568
qiskit_sat_synthesis/sat_problem.py sha256=AyM11dpRkMlet3bCauNkybytjbWH-hBh9-bvLDBkjvg 38998
qiskit_sat_synthesis/sat_problem_clifford.py sha256=pKyU7hieOYBD3nVTz_OMWbdIlkxTMWW1Uf3V-b9sfZ8 16822
qiskit_sat_synthesis/sat_problem_constraints.py sha256=NCSOOE549qFKQA64bRgfsuSeaMGao_EydShj9tm5x_M 20804
qiskit_sat_synthesis/sat_problem_linear.py sha256=Z4StMNL_gre9sUJ1mP1O8cuiQto0NKtyai-70cX4-5M 6649
qiskit_sat_synthesis/sat_problem_linear_qudits.py sha256=ytJif6uVA-YZEZSBeeMxxtq3oEE6wmCI9JDooyVGlH4 9870
qiskit_sat_synthesis/sat_problem_permutation.py sha256=E7n4drlEAB9ZYmU0bfkulMAcA6MKkFmq-RBiTe5wsH8 4669
qiskit_sat_synthesis/sat_problem_superposed.py sha256=-zh4w74-riZ-FmdUNg8UyYWxp1O1VUX0QvpemjR_ZVI 6032
qiskit_sat_synthesis/sat_solver.py sha256=qnaYTXCMUa1rPXTNjE2VaFdFNNRbZYKfmxLE3eQr8kA 4317
qiskit_sat_synthesis/synthesize.py sha256=ZXsRQQw82Vqu1uHvUKVf2etC9meTJ675bdBrPJtkLMA 4290
qiskit_sat_synthesis/synthesize_clifford.py sha256=wsWs9_MLSvrr4rmrUXVIop1JWRXZozhto3VdBhmbfcM 11735
qiskit_sat_synthesis/synthesize_linear.py sha256=3McVbeqdjxdICmKUoFHbF568kzyJZ7nhEOIikH5WnVw 24481
qiskit_sat_synthesis/synthesize_linear_qudits.py sha256=4XD0eg6hFyEPcyjXGxUQeLlmPfq11ia-x__Y6h9HhmY 4608
qiskit_sat_synthesis/synthesize_permutation.py sha256=jba5qIVKDScv41c5SQ6op-ZH9pYfpla8TMFb6mAPML8 12561
qiskit_sat_synthesis/synthesize_superposed.py sha256=Qbb5MywMTJro_ejvWZLZnYHveVRlRVgKDWm552LsFe0 9609
qiskit_sat_synthesis/utils.py sha256=mJcJKRJIWZiTQ8nHqYAS8YfJAzuzsYqYuX87v-krc6Y 3829
qiskit_sat_synthesis-0.0.2.dist-info/LICENSE.txt sha256=IXrBXbzaJ4LgBPUVKIbYR5iMY2eqoMT8jDVTY8Ib0iQ 11416
qiskit_sat_synthesis-0.0.2.dist-info/METADATA sha256=ZecW0nIAsvF4hTrY9RTvGATVrji9kNT52naPCZeKayo 415
qiskit_sat_synthesis-0.0.2.dist-info/WHEEL sha256=a7TGlA-5DaHMRrarXjVbQagU3Man_dCnGIWMJr5kRWo 91
qiskit_sat_synthesis-0.0.2.dist-info/entry_points.txt sha256=-easzgRR0toxV8QLdnT9u4pQI3nxhhoAL_fmWJFiJyQ 615
qiskit_sat_synthesis-0.0.2.dist-info/top_level.txt sha256=J_xCo4xInnrcCh87CBUcPBX2BkzLnaww0ESG-Yfiu2A 21
qiskit_sat_synthesis-0.0.2.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