Wheelodex » Projects » chyp

chyp

View on PyPI — Reverse Dependencies (0)

0.5.2 chyp-0.5.2-py3-none-any.whl

Wheel Details

Project: chyp
Version: 0.5.2
Filename: chyp-0.5.2-py3-none-any.whl
Download: [link]
Size: 63083
MD5: 170963c57a1370255968f78611c1ee21
SHA256: f4b0132e0443b9becbd6cb69f40bbf448c9855f653aa102fa2e7f54627d8981a
Uploaded: 2023-06-04 15:45:05 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: chyp
Version: 0.5.2
Summary: An interactive theorem prover for string diagrams
Author: Aleks Kissinger
Author-Email: aleks0[at]gmail.com
Home-Page: https://github.com/akissinger/chyp
Project-Url: Bug Tracker, https://github.com/akissinger/chyp/issues
License: Apache2
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.7
Requires-Dist: PySide6 (>=6.4.3)
Requires-Dist: lark (>=1.1.5)
Requires-Dist: cvxpy (>=1.3.1)
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 19732 characters]

WHEEL

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

RECORD

Path Digest Size
chyp/__init__.py sha256=NbBhmzkvuf-uLw68T5yGZbY8dvloUIEAWNHHHAb28fg 653
chyp/__main__.py sha256=rOzhUY4QdNpeDVoxqJ4YqndXwO7FT_Wcy_IhKMbSJ3E 715
chyp/graph.py sha256=TqYuLyzQtIzdH1SIcE5FuE06pXS7H8ygPxoSq5OTwIg 17564
chyp/layout.py sha256=vlE_QUTs9Hnl30IwcObB1OyAYopyxSnHICBqZ7wv6u0 10786
chyp/matcher.py sha256=-01HAfzpdVor-1N77Kp8WT5cQhOgrBsnsHZA6USBb3U 11350
chyp/parser.py sha256=cemDdMCfPCgEQXc1WdJheXM04aID07W-h9tYvr6F-9I 4317
chyp/rewrite.py sha256=7Pk460WlzC0J3FNsNZBv43XdKMs1cKlxpCZBkMwdM8I 3804
chyp/rule.py sha256=Ak-roc4TepNhjQ5ZqOeettxhZYblyXJVjgOJTyMyMPg 1806
chyp/scraps.py sha256=tO8YIHwHSsuGNtBwIkRn0thsNs7iuRoMClSYSOu-tVA 3068
chyp/state.py sha256=tmHyhgHHsykiDp46UB3njsj9uWHgAl9voM0OXFrigjg 17091
chyp/term.py sha256=4jxfZC-_FYhOlc9UXnbLrZFBlUyGBPoFLN2v39mb5nE 6018
chyp/gui/__init__.py sha256=jtAHLKovh2L9ThexN4KY4-OHw5yuJCs2OQuWnvh7Uw8 651
chyp/gui/app.py sha256=ZfsE0hDfCKax1D5d4Hhxps1xxpcuGEhxMlqG9EXvXL8 2495
chyp/gui/codeview.py sha256=V4A-MduQYWCwgxUFv8NxJZqGW5m0iQIKQFUdKnTt06U 4812
chyp/gui/colors.py sha256=71iEIbCTkttbaqyORMcVGAUhQguIQAsa9wuVo5qGuHg 4824
chyp/gui/completion.py sha256=hdQjtcAOl-CundgHIBWzZJiPhq8CJIvETh9013E6HVE 2060
chyp/gui/document.py sha256=QB4s4G1djurbBrCOrNOEf7BSmA1NJHBN-udj0D-LPAo 5667
chyp/gui/editor.py sha256=tLplAcN4EZoHm3i5B1WA1vwTMsgddGKfLPsJKY0PRY8 11824
chyp/gui/errorlist.py sha256=dcpFuVeXW9ITFhBG5BmNvuiYylzO_xOPP51w-pOyCY0 3285
chyp/gui/graphscene.py sha256=8zVByh8fHcnFQRBb8KHUhUTUDnbql3IxNj55jZWs0yA 8146
chyp/gui/graphview.py sha256=VZv9Iu0GtGRHxYiU0VpLvjLqC6CLJpVym61K-SuJJoM 1281
chyp/gui/highlighter.py sha256=0cmUn4A4nOo4TmLk9XrAZYFLZ3zR91bdFRnAoKKztD0 3340
chyp/gui/mainwindow.py sha256=WxCQ4nxidWb5zboyLPCcrWakXUzTkWjHYmeaHvXHpC8 13816
chyp/tactic/__init__.py sha256=PsDCe-BOhVkwKPvV_oF7YMqjvaMtFLbIN1SiIjkBC8g 11490
chyp/tactic/ruletac.py sha256=V3VFcXmcCVuSegDwe4GXyxNoUxgAiTtbrDK3DNB6jYU 1678
chyp/tactic/simptac.py sha256=8-yM82eGQe2Wl2nGOSmr59ucXFZk9oPpMF6-d4BjRRE 1765
chyp-0.5.2.dist-info/LICENSE sha256=xx0jnfkXJvxRnG63LTGOxlggYnIysveWIZ6H3PNdCrQ 11357
chyp-0.5.2.dist-info/METADATA sha256=BG2w6TksdD283I5brZvR0fLYPaTYeO6SGHNsSDG--io 20363
chyp-0.5.2.dist-info/WHEEL sha256=pkctZYzUS4AYVn6dJ-7367OJZivF2e8RA9b_ZBjif18 92
chyp-0.5.2.dist-info/entry_points.txt sha256=SvupXVRGR-K94Vd6p-FCk5psGo7o2RYTdIYVEG0i9-A 43
chyp-0.5.2.dist-info/top_level.txt sha256=al1HzozS9L3tMSTdqdMc8K76FJ1a-pGlz-f3R721rDQ 5
chyp-0.5.2.dist-info/RECORD — —

top_level.txt

chyp

entry_points.txt

[console_scripts]
chyp = chyp.gui.app:main