Wheelodex » Projects » simpleSketch

simpleSketch

View on PyPI — Reverse Dependencies (0)

0.0.8 simpleSketch-0.0.8-py3-none-any.whl

Wheel Details

Project: simpleSketch
Version: 0.0.8
Filename: simpleSketch-0.0.8-py3-none-any.whl
Download: [link]
Size: 73103
MD5: fde0e23ae916c50b9f0238bd5793f5c6
SHA256: ee6042de82f83b3c9ec914dc2280393a3f73fb2b175f229d3513e32c83d4886a
Uploaded: 2023-10-02 14:29:01 +0000

dist-info

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

METADATA

Metadata-Version: 2.1
Name: simpleSketch
Version: 0.0.8
Summary: Program Synthesis by Sketching
Author-Email: Maher Bisan <maherbisan95[at]gmail.com>
Maintainer-Email: Dareen Khair <dareen17.7[at]gmail.com>, Maher Bisan <maherbisan95[at]gmail.com>
Project-Url: Homepage, https://github.com/maher-bisan/SimpleSketch
Project-Url: Bug Tracker, https://github.com/maher-bisan/SimpleSketch/issues
License: MIT License Copyright (c) 2023 Maher Bisan Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
Keywords: SimpleSketch,Synthesis,CEGIS,Program Synthesis,Sketching,PBE
Classifier: Programming Language :: Python :: 3.11
Classifier: Operating System :: OS Independent
Requires-Python: >=3.11
Requires-Dist: z3-solver (==4.12.2.0)
Requires-Dist: lark (==1.1.7)
Requires-Dist: pyyaml
Requires-Dist: customtkinter (==5.2.0)
Requires-Dist: graphviz (==0.20.1)
Requires-Dist: build (==1.0.3); extra == "dev"
Requires-Dist: ipykernel (==6.25.2); extra == "dev"
Requires-Dist: mkdocs (==1.5.3); extra == "dev"
Requires-Dist: Pillow; extra == "dev"
Requires-Dist: twine; extra == "dev"
Requires-Dist: ipykernel (==6.25.2); extra == "dev-notebook"
Provides-Extra: dev
Provides-Extra: dev-notebook
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 3417 characters]

WHEEL

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

RECORD

Path Digest Size
simple_sketch/README.md sha256=3jnZUNd9GREpoKCINr3Ez6Yr2dQeaCtNsP2rTgPYHM8 121
simple_sketch/__init__.py sha256=4PglEGIl4ZjOuuGQiQ9npYpBQHB9y0EM4MhGEAU-WuM 176
simple_sketch/simple_sketch.py sha256=CoaJ57zpELpA7woVWwgAjj_6RuypslBoqb1CDRA3auY 7592
simple_sketch/lib/__init__.py sha256=4gzyjkuSrr6Tt7xKIpARcigDPutAgEGUFcVYbLe0PGM 19
simple_sketch/lib/adt/__init__.py sha256=JXBOv2saAZCUWhMo_DR3r1VPeS689PBIvqDDhE-8FSw 52
simple_sketch/lib/adt/tree/__init__.py sha256=ZT8HERaL1fxwgk2mAIBIGk55YKGcVStNt0wXKgxqFas 2300
simple_sketch/lib/adt/tree/build.py sha256=-BV16mhWWE54zbQ-ZZy1D9IP973Q_73wf-vIHac_JMc 501
simple_sketch/lib/adt/tree/paths.py sha256=PY-NZfyH_CbMEdry4Q7bflA3612Fi7r3R_0inHo3zDc 1696
simple_sketch/lib/adt/tree/walk.py sha256=PzHYNBegCT7MHenEa-obAtmWxHMr2DeY2HHvY9ISq2c 2984
simple_sketch/lib/adt/tree/search/__init__.py sha256=GUDMZ6F8-MZ5svswCMQ_fg6HztMKWCXqIbPEEASm1kk 1342
simple_sketch/lib/adt/tree/search/pattern.py sha256=oegQ_CMi2PRgYXenYqrK2IRFlTVq1ACtN_AYAwf7qt8 6113
simple_sketch/lib/adt/tree/transform/__init__.py sha256=Nyl7HAGq86z6oYu77XOfrhZWT91d0pFLrQPZsVuCdso 5393
simple_sketch/lib/adt/tree/transform/apply.py sha256=L0hUqENUiOMQV1SaL74n6j8NXVUzjiAumkL2tGwH_3k 693
simple_sketch/lib/adt/tree/transform/substitute.py sha256=FpX2a4dceOQ3XrxBQ_htwlgzqnlA-PekJ2KgBJVabpQ 4614
simple_sketch/simple_sketch_cli/__init__.py sha256=bboSRb5aTlePmWQEQtUG-6B21svldzecJ4D2pA__STc 91
simple_sketch/simple_sketch_cli/simple_sketch_cli.py sha256=IwmIo_bab_roHQD01YWI-fZdekSOQ14mWrpYlRfuKaE 323
simple_sketch/simple_sketch_gui/__init__.py sha256=kaYg6Uyp6uAADTTVLGC0xn-3ycjaoLeGdb0GSVUMgPY 91
simple_sketch/simple_sketch_gui/simple_sketch_gui.py sha256=CvAiUHUgnuSS_pxLRC1Vr-Q8D2m-hmedi3S0M1az3R8 41766
simple_sketch/simple_sketch_gui/assets/examples/example-1.yaml sha256=RPeo5QahVnATNE6Rv4y9dpKqFtef010JIC1l2gPd54c 458
simple_sketch/simple_sketch_gui/assets/examples/example-2.yaml sha256=An9x9oTvqyQKZNDVchErekkDXd_nJ5ALFTsgQZu6M6c 264
simple_sketch/simple_sketch_gui/assets/examples/example-3.yaml sha256=lGbRhVqWBeh8NqZqiA-GQK9PeN0MuTpiX89aGtX_zws 522
simple_sketch/simple_sketch_gui/assets/examples/Advanced-Examples/example-1.yaml sha256=RJPSqtD9Kp6VhZ-qQNypxDB3MCYAaKZ9MhsklNN9cHE 610
simple_sketch/simple_sketch_gui/assets/examples/Advanced-Examples/example-2.yaml sha256=RPeo5QahVnATNE6Rv4y9dpKqFtef010JIC1l2gPd54c 458
simple_sketch/simple_sketch_gui/assets/examples/Advanced-Examples/example-3.yaml sha256=RPeo5QahVnATNE6Rv4y9dpKqFtef010JIC1l2gPd54c 458
simple_sketch/simple_sketch_gui/assets/examples/Array-Examples/example-1.yaml sha256=IdkekXThqHyinM3xm3pjKbHMDAJQziZ9y9wTLQSfWf8 278
simple_sketch/simple_sketch_gui/assets/examples/Array-Examples/example-2.yaml sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
simple_sketch/simple_sketch_gui/assets/examples/Array-Examples/example-3.yaml sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-1.yaml sha256=jx8MnTLhdI-1hkJ2bq6Ojtx4yOxsPj2M864GXk8P3QI 258
simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-2.yaml sha256=ud1xoEFnEa5-Yk21uWDhlsS89R3elkam6nDOHWG_HH8 516
simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-3.yaml sha256=kJ7EKEtVyQpPUAAeGTRUNnpyPWdKCTbofA3duBJd1YA 316
simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-4.yaml sha256=An9x9oTvqyQKZNDVchErekkDXd_nJ5ALFTsgQZu6M6c 264
simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-5.yaml sha256=JkiNbuHjJEjZw1SFK_bTKsVFMP2zXvXfL-cTPdo-WuY 474
simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-6.yaml sha256=fEfAx673BROceSz1ucNO0zo0QrJgX7NMQfj91DZverg 275
simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-7.yaml sha256=EHXm7y721OoJq4CkCcHNa9EHtrGxzvm5fKUxJTuN_y0 283
simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/example-8.yaml sha256=tNjRNqjChzg06h5XF2ccECs9ZkJu8MPIE3oJA4Xtwjo 286
simple_sketch/simple_sketch_gui/assets/examples/Basic-Examples/Basic-Array-Examples/example-1.yaml sha256=rO7plDz2dCAl00PeG1dtGoLFeEHeKwk6bJd3Al_bzdE 270
simple_sketch/synthesis/__init__.py sha256=Elvz51vMPtL6_i6JGRaqUPKI60h-68vLH6I_t8h8hJ4 204
simple_sketch/synthesis/cegis.py sha256=nhCtE8slQk24F3zJ1RdalLcSH4LafohcOFfM0152xPw 15414
simple_sketch/synthesis/specification.py sha256=JsUlLkqxq7q1d1UQPXX4dSQIkHQHfxntsce7aRN7XrE 9024
simple_sketch/synthesis/synthesizer.py sha256=aG3LO8L1I5_StJsDGEz_fILhfCrGyvCCo4MZgjpQlSo 13857
simple_sketch/utilities/Utilities.py sha256=rUXi8xgM2AXrrL1g_7-9-LdAmN5E1HiHIPItkYw8Y-U 6254
simple_sketch/utilities/__init__.py sha256=vHJBzbAjVu0D3-IAC4Kf6_4k5aLzAL4lQSQ2-TTVRfY 387
simple_sketch/verifier/__init__.py sha256=XKuBwguGtFWscWgbvqFKVWh86L5Dtm8V8NpXHFKfgA0 18
simple_sketch/verifier/wp.py sha256=cKGAAxOKhh1bZKySWNSVKxUAJLjsV2U17W_VjKZUELY 15236
simple_sketch/while_lang/__init__.py sha256=3_nmUr9MpGUdocFeUglbR1_cZn9LKHlVc8LOftZo3os 471
simple_sketch/while_lang/while_language.py sha256=rYzemorHUIpTCTXGeo91gce3sx94Js4V7j2-FRa_fG4 15099
simple_sketch/while_lang/syntax/__init__.py sha256=gLlq5UJu_j8TeZKjR4Ns-TYSU7Zs768_WTgDB4Xwq9Q 22
simple_sketch/while_lang/syntax/syntax.py sha256=S2IV6qTJsGgtl-J0M6_gF3_L_K3iovgxuNgWihJ9alI 40237
simple_sketch/while_lang/syntax/while_lang.lark sha256=amGPplZ48lmDTWyMxLmylSVrVb7LgSo10T1ELuLDHEQ 3543
simple_sketch/z3_handler/__init__.py sha256=Md2sNUnV5XnU-ItGImfGLdVq4f8PbSdBuxV581E3q8E 689
simple_sketch/z3_handler/z3_handler.py sha256=VW-c5vxc9dbNeNsoOIFDgzcQj6IyvJ7wSDTqbuiT5GY 4833
simple_sketch/z3_handler/z3_text_parser/__init__.py sha256=CpjapLA7NL_RXBC52NKLX3ksifOxaRzhDHzGBiSjmlU 70
simple_sketch/z3_handler/z3_text_parser/z3_syntax.lark sha256=tyh4f2p00B1JLaLklyfN26Fb_KuNwDT0wa4x9lliT8s 5357
simple_sketch/z3_handler/z3_text_parser/z3_text_parser.py sha256=XegGfz2hQF2-MxWSIsUMaz62EoQdmf-emrlxCaA5X1I 12985
simpleSketch-0.0.8.dist-info/LICENSE sha256=P9rjN-6c8knKrfXQV5Sc-_nEkkRSB74awmXzp66PWKA 1068
simpleSketch-0.0.8.dist-info/METADATA sha256=oZDOWETXsZQ5JzBHDfsoI0Vt7-FEmo1fgdjqzAMByL8 5788
simpleSketch-0.0.8.dist-info/WHEEL sha256=yQN5g4mg4AybRjkgi-9yy4iQEFibGQmlz78Pik5Or-A 92
simpleSketch-0.0.8.dist-info/entry_points.txt sha256=-72OHe4pJMrqPq2gbFftwxhdnuZUL3Nv-BfZi8wLDWU 167
simpleSketch-0.0.8.dist-info/top_level.txt sha256=j3sxufxaw2ROt7KDWo0byeuXOvNjiV126KJKCafZmGQ 14
simpleSketch-0.0.8.dist-info/RECORD — —

top_level.txt

simple_sketch

entry_points.txt

[console_scripts]
simpleSketch = simple_sketch.simple_sketch_cli:simple_sketch_cli
[gui_scripts]
simpleSketch-gui = simple_sketch.simple_sketch_gui:simple_sketch_gui