Wheelodex » Projects » NQPV

NQPV

View on PyPI — Reverse Dependencies (0)

0.4b1 NQPV-0.4b1-py3-none-any.whl

Wheel Details

Project: NQPV
Version: 0.4b1
Filename: NQPV-0.4b1-py3-none-any.whl
Download: [link]
Size: 57607
MD5: ac4842efe1f1fc4cf4e2ee0bf69679ad
SHA256: 9a82e6d6e753fea6183256ec6f34b7af4e759a1e71d9e0ddff5dbf2f504d79fe
Uploaded: 2023-01-24 08:14:52 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: NQPV
Version: 0.4b1
Summary: An assistant tool for the formal verification of nondeterministic quantum programs.
Author: Yingte Xu
Author-Email: lucianoxu[at]foxmail.com
Home-Page: https://github.com/LucianoXu/NQPV
Keywords: quantum programs,program verification,automatic theorem proving
Classifier: Environment :: Console
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: Development Status :: 4 - Beta
Classifier: Natural Language :: English
Classifier: Programming Language :: Python :: 3
Classifier: Topic :: Scientific/Engineering
Platform: Windows
Platform: Linux
Platform: MacOS
Requires-Dist: numpy
Requires-Dist: cvxpy
Requires-Dist: ply
Description-Content-Type: text/markdown
License-File: LICENSE
License-File: NOTICE
[Description omitted; length: 21154 characters]

WHEEL

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

RECORD

Path Digest Size
examples/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
examples/GroverN/__init__.py sha256=m7tg7lrtN9wguK2VPSG5BnqBrn9157rw1yGiK8vrzo0 22
examples/GroverN/example.py sha256=3gZLoAJgjl_RuASc1gyYvbt9i9RspvirY11kdVNzCzE 2341
nqpv/__init__.py sha256=ND1NlLRjJJ3CgKgtOTJ4xdOaN4G3d1LpJ2PuNfe5jho 609
nqpv/entrance.py sha256=ZonU2-8qdjHiDwlHwQxUqSQ1vOhkZ6Fu5KHUJB18ZmE 1234
nqpv/vsystem/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
nqpv/vsystem/log_system.py sha256=UVhtPE_Mke2mblBYPcQiwxbJGYmRERm1p-QbgefiKKE 4519
nqpv/vsystem/opt_kernel.py sha256=mkpUAbtpoLfMwXIsv1ATiQ5JjDJpSiDqwFgVXyihfKs 9115
nqpv/vsystem/optenv.py sha256=XBIunZUV9LkexktPACb5bTU22AcSLahmN4kRqNViapk 6239
nqpv/vsystem/settings.py sha256=vSnd6sf2Pip-7LddHdK3f4jiKcETevhEw3OfUk1zhLQ 1497
nqpv/vsystem/var_scope.py sha256=W5iP8W6qSaYXKjmf22IyvYdfcCnk_x3UJDjeu5McK4c 8908
nqpv/vsystem/vkernel.py sha256=izsVcolB8uFNNzDhjMlnkY0JBezKb6YOQ2QZCts5CMc 14974
nqpv/vsystem/content/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
nqpv/vsystem/content/opt_pair_term.py sha256=zt7zJ3O_3PQ3IDn5FfMsvI1rpvgIyq7CMdI_j0URGro 8660
nqpv/vsystem/content/opt_term.py sha256=1S6lPjo91ZjujRkLuXdOLCVNlvYBplKcKzhK_h-PVlU 5065
nqpv/vsystem/content/prog_term.py sha256=YdbRFCI1KRzAEs2HaVPH-zcnCw25zdoPBhK_dVOzyow 8846
nqpv/vsystem/content/proof_hint_term.py sha256=jZztS5OBU_eZ4yRSO2qeV_2XEjXqutQbfo6CTcMWTQQ 14154
nqpv/vsystem/content/proof_tacits.py sha256=r-_zLR4rbE_YI0cwdwaGGW1ENGUJoHs4cCfsn3VddeU 7979
nqpv/vsystem/content/proof_term.py sha256=JnDX-Rosv7eRb-quFVpHs3RPNCSlYe0HAqDyel63uEw 12525
nqpv/vsystem/content/qpre_term.py sha256=3RGWLnLcj_jo1FW2b3Y0ocSWpeqmQiUm_rDhgMYsUdI 10621
nqpv/vsystem/content/qvarls_term.py sha256=aKkbjZycfngo161BrxirpbH5ZQO9bMRILSB-83voExM 4042
nqpv/vsystem/syntax/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
nqpv/vsystem/syntax/ast.py sha256=C62fZK4h6irHfos-wl_oKPxzzuU6jWA7OvWNiiy8l5U 9066
nqpv/vsystem/syntax/parsetab.py sha256=wb2GvTwkeibTX4jO7tm_iq6Kz_67vO3NWY8vHNyeuX8 20509
nqpv/vsystem/syntax/pos_info.py sha256=ENZsPFOyUErG9wPo7TFbamRsx7T7N_XHQkOAj0ER4T0 1718
nqpv/vsystem/syntax/vlexer.py sha256=aAiTS6gXNiYfNOZiD-anZ2voQTtUAZ2n6mrjxE_8dl0 3250
nqpv/vsystem/syntax/vparser.py sha256=vGfvhdlpal9JTMbXoWQg7Nn6HFDea0wXV7QlBcRIHHQ 12792
NQPV-0.4b1.dist-info/LICENSE sha256=kmSms8E0URzPyuSO04CDIGiK5pM-xPxUdHagBQlfwe8 10349
NQPV-0.4b1.dist-info/METADATA sha256=MYFOlwF0GMW_sdqYhOtONnNF6ESBHfkiLAdYRgAb9XA 22645
NQPV-0.4b1.dist-info/NOTICE sha256=zafU1UFvTahKAk3he-ggUTBwPaU7RAYFWIqgJdXxy90 565
NQPV-0.4b1.dist-info/WHEEL sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo 92
NQPV-0.4b1.dist-info/top_level.txt sha256=z__lgoivdObSodQiByKhKhmAFMLZvGsmwJ5qLsmD6CI 14
NQPV-0.4b1.dist-info/RECORD — —

top_level.txt

examples
nqpv