Wheelodex » Projects » pacfix

pacfix

View on PyPI — Reverse Dependencies (0)

0.0.3 pacfix-0.0.3-py3-none-any.whl

Wheel Details

Project: pacfix
Version: 0.0.3
Filename: pacfix-0.0.3-py3-none-any.whl
Download: [link]
Size: 10473
MD5: a247ff3e6ad1b7bc4332caf6db94c65e
SHA256: 577825d060c4b1e1023086f7cd0d96301474f25c9511890c523979f83f8115e3
Uploaded: 2024-11-14 05:52:18 +0000

dist-info

METADATA · WHEEL · RECORD · entry_points.txt

METADATA

Metadata-Version: 2.3
Name: pacfix
Version: 0.0.3
Summary: PAC-learning-based program systhesizer
Author-Email: Seungheon Han <shhan[at]unist.ac.kr>
Maintainer-Email: Seungheon Han <shhan[at]unist.ac.kr>
Project-Url: GitHub, https://github.com/hsh814/pacfix-python
Keywords: apr
Classifier: Development Status :: 1 - Planning
Classifier: Environment :: Console
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python
Requires-Python: >=3.6
Requires-Dist: pysmt
Description-Content-Type: text/markdown
[Description omitted; length: 2050 characters]

WHEEL

Wheel-Version: 1.0
Generator: flit 3.10.1
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
pacfix/__init__.py sha256=4E-0_kbIEaZs6IOBsajsfXy86FDNZGlHFoQVGsEpoGM 1621
pacfix/__main__.py sha256=GydmUDjCHem1Ov8kGUBhDrmuLexwl4dNEQXRzDAHtnM 5282
pacfix/debug.py sha256=StWaXb2R2QjHPhb2i7O7ldgSHEo6QRufgLYdPYexOIs 437
pacfix/invariant.py sha256=nU8EaAuzsF1Q7nvRH7TrRj-NsEy15m90dQE6I1HTZp4 8628
pacfix/synthesis.py sha256=TXXP5u5TLXOtoSCdtgZ1rvMxNM-NnjJihzwAfqpmbO0 8362
pacfix/utils.py sha256=xQMFSyYc9PPWe9Iw9e082GiBNWxWfc73JRHzQIeRk5M 4945
pacfix-0.0.3.dist-info/entry_points.txt sha256=Flo_65kUX3J_KoS2dmnsvlf76mHLCll5C674WdKkAEM 47
pacfix-0.0.3.dist-info/LICENSE sha256=P7AkKChZPxbbrkF_CWLMxAi6sDniWyY-Ch77XioRdG8 1069
pacfix-0.0.3.dist-info/WHEEL sha256=CpUCUxeHQbRN5UGRQHYRJorO5Af-Qy_fHMctcQ8DSGI 82
pacfix-0.0.3.dist-info/METADATA sha256=Eq5ClSpo3gYYMM40lvAyuEYEUBqVamVoq2bZsAD49QI 2631
pacfix-0.0.3.dist-info/RECORD — —

entry_points.txt

[console_scripts]
pacfix = pacfix.__main__:main