Wheelodex » Projects » Pacti

Pacti

View on PyPI — Reverse Dependencies (0)

0.1.0 Pacti-0.1.0-py3-none-any.whl

Wheel Details

Project: Pacti
Version: 0.1.0
Filename: Pacti-0.1.0-py3-none-any.whl
Download: [link]
Size: 42563
MD5: 749cd809634f04750613f4777e3fd950
SHA256: 60f101d8a52d3939dc3109d0b24b666bad2d35f5f0bb6769ca4d1547021e5764
Uploaded: 2023-09-03 20:32:30 +0000

dist-info

METADATA · WHEEL · RECORD · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: Pacti
Version: 0.1.0
Summary: A package for compositional system analysis and design
Author-Email: Pacti developers <info[at]pacti.org>
Project-Url: Bug Tracker, https://github.com/pacti-org/pacti/issues
Project-Url: documentation, https://www.pacti.org
Project-Url: repository, https://github.com/pacti-org/pacti
License: BSD-3-Clause
Keywords: system design,contracts,compositional
Classifier: Topic :: Scientific/Engineering
Requires-Python: >=3.8, <3.12
Requires-Dist: matplotlib (>=3.6.2)
Requires-Dist: numpy (>=1.24.1)
Requires-Dist: pyparsing (>=3.0.9)
Requires-Dist: scipy (>=1.10.0)
Requires-Dist: sympy (>=1.11.1)
Requires-Dist: typing-extensions (>=4.5.0)
Description-Content-Type: text/markdown
[Description omitted; length: 1933 characters]

WHEEL

Wheel-Version: 1.0
Generator: pdm-pep517 1.1.4
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
pacti/__init__.py sha256=VEc4bKDDnBPgR9u8jgezV9x5JTsEV_pk237pz2QOAi0 106
pacti/__version__.py sha256=L9MT4_rkYqyQqD3dCUrlWzlNQ7W5MA8sczrkrklglZg 88
pacti/contracts/__init__.py sha256=N3IwQ7jOeJP8X3XynXjOST111nWGxbI5vat008JBvqk 86
pacti/contracts/polyhedral_iocontract.py sha256=Kd3iX_IgzzFPSCNws2ROsODIN5Mdi3tph8-UkmGVgrY 10819
pacti/iocontract/__init__.py sha256=ZzO7xoHZTO9iKSvbiNaIdX2LQIXbc4JnrmK3MjZgBK8 122
pacti/iocontract/compundiocontract.py sha256=VQGdI46zEcKM_6tuOBdhjz2gzp96awkeunver82oPBI 10176
pacti/iocontract/iocontract.py sha256=aTGNpQRHeDo974A9JiTpyi9NgqG4MwAtu7-y_c_ELTI 29719
pacti/terms/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pacti/terms/polyhedra/__init__.py sha256=n7NWGrA017FeEyAjBF32EfnQOpGRDb46g0Sda5G3c_8 105
pacti/terms/polyhedra/polyhedra.py sha256=eNCZGgb_pKWRnHxMWPDL-c8gpL9nWpahKrcRj9BwJn4 55465
pacti/terms/polyhedra/serializer.py sha256=KB8l3SGon3WEI_iUGoCgxZFtp2EMgZTTs6JoyLYbVpU 11913
pacti/terms/polyhedra/syntax/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
pacti/terms/polyhedra/syntax/data.py sha256=_JiBVPJbTG41GzKnTvF8Z7qEY6zXV_aVf308JamZiYM 11885
pacti/terms/polyhedra/syntax/grammar.py sha256=-UvuVZJNMVOWi5yinyy331tJuMbRI7tmtqxdxbh3CoM 16186
pacti/utils/__init__.py sha256=UBww2-8nvMr7UD_Yldg9UmLrM5UlHvTWt6O05WPuTls 70
pacti/utils/errors.py sha256=-YuB9EhGNGOda2gGs8KdRDZnNeENqMWM5pnbo66myoE 1588
pacti/utils/fileio.py sha256=uAheJ19gyjxRv2tAW3SbS8Bp5eM9985s-K1uHAgytiE 3510
pacti/utils/lists.py sha256=XPDRzHJG7XZU6C9660q97d32wG34GyY2B5fvMkP9TZk 1419
pacti/utils/plots.py sha256=gmHiBn71sCpPncgM3_DgxyuV4TxAzn1KMAI_s61EnvA 14987
Pacti-0.1.0.dist-info/entry_points.txt sha256=i2oN8Ae25gU-XoxtDndkB7we3AiSvh8-LPe0e6_tgrM 19
Pacti-0.1.0.dist-info/WHEEL sha256=B19PGBCYhWaz2p_UjAoRVh767nYQfk14Sn4TpIZ-nfU 87
Pacti-0.1.0.dist-info/METADATA sha256=4wNj5O23TQX5xV3Kqk5tCL0kSI_nwKLstpYdt5OdjhQ 2649
Pacti-0.1.0.dist-info/licenses/LICENSE sha256=wsorTzIaIph4YvXgpVYVyyZ11UtmYaINjs37GptBCVk 1521
Pacti-0.1.0.dist-info/RECORD — —

entry_points.txt

[empty]