Pacti


NamePacti JSON
Version 0.1.0 PyPI version JSON
download
home_page
SummaryA package for compositional system analysis and design
upload_time2023-09-03 20:32:31
maintainer
docs_urlNone
author
requires_python>=3.8, <3.12
licenseBSD-3-Clause
keywords system design contracts compositional
VCS
bugtrack_url
requirements No requirements were recorded.
Travis-CI No Travis.
coveralls test coverage No coveralls. 
            [![Build Status](https://github.com/pacti-org/pacti/actions/workflows/pacti_development.yml/badge.svg)](https://github.com/pacti-org/pacti/actions/workflows/pacti_development.yml)
[![PyPI version](https://badge.fury.io/py/pacti.svg)](https://badge.fury.io/py/pacti)
[![codecov](https://codecov.io/gh/pacti-org/pacti/branch/main/graph/badge.svg)](https://codecov.io/gh/pacti-org/pacti)
[![Getting Started With Pacti Example](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/drive/1muppEkj1K4vowBuS1C8plCouCdK50iio?usp=sharing)


<img alt="Logo in light and dark mode." src="https://raw.githubusercontent.com/pacti-org/media/main/docs/logos/pacti_colorful.png" width="250">


Pacti is an open-source Python package for carrying out compositional system analysis and design. Pacti represents components in a
system using assume-guarantee specifications, or contracts. Pacti's capabilities, among others, include the following:

- Obtaining sensible system specifications from the specifications of the constituent subsystems.
- Computing specifications of subsystems that need to be added to a design in order to meet an objective.
- Diagnosing incompatibilities when interconnecting components.


Documentation can be found on the project's website: www.pacti.org.
For questions about Pacti and to interact with the community, please go to the organization's [GitHub Discussions page](https://github.com/orgs/pacti-org/discussions).
Pacti's developers can be reached at info@pacti.org.

The Pacti project can be acknowledged by citing

[Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoit Caillaud, Richard M. Murray, Alberto Sangiovanni-Vincentelli, and Sanjit A. Seshia. 
"Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design." ArXiv abs/2303.17751 (2023).](https://arxiv.org/abs/2303.17751)

Raw data

            {
    "_id": null,
    "home_page": "",
    "name": "Pacti",
    "maintainer": "",
    "docs_url": null,
    "requires_python": ">=3.8, <3.12",
    "maintainer_email": "",
    "keywords": "system design,contracts,compositional",
    "author": "",
    "author_email": "Pacti developers <info@pacti.org>",
    "download_url": "https://files.pythonhosted.org/packages/ec/87/337447a04dcbf3d00f7ff6dae5609b2c1eca4139d56077077e0b9391211e/Pacti-0.1.0.tar.gz",
    "platform": null,
    "description": "[![Build Status](https://github.com/pacti-org/pacti/actions/workflows/pacti_development.yml/badge.svg)](https://github.com/pacti-org/pacti/actions/workflows/pacti_development.yml)\n[![PyPI version](https://badge.fury.io/py/pacti.svg)](https://badge.fury.io/py/pacti)\n[![codecov](https://codecov.io/gh/pacti-org/pacti/branch/main/graph/badge.svg)](https://codecov.io/gh/pacti-org/pacti)\n[![Getting Started With Pacti Example](https://colab.research.google.com/assets/colab-badge.svg)](https://colab.research.google.com/drive/1muppEkj1K4vowBuS1C8plCouCdK50iio?usp=sharing)\n\n\n<img alt=\"Logo in light and dark mode.\" src=\"https://raw.githubusercontent.com/pacti-org/media/main/docs/logos/pacti_colorful.png\" width=\"250\">\n\n\nPacti is an open-source Python package for carrying out compositional system analysis and design. Pacti represents components in a\nsystem using assume-guarantee specifications, or contracts. Pacti's capabilities, among others, include the following:\n\n- Obtaining sensible system specifications from the specifications of the constituent subsystems.\n- Computing specifications of subsystems that need to be added to a design in order to meet an objective.\n- Diagnosing incompatibilities when interconnecting components.\n\n\nDocumentation can be found on the project's website: www.pacti.org.\nFor questions about Pacti and to interact with the community, please go to the organization's [GitHub Discussions page](https://github.com/orgs/pacti-org/discussions).\nPacti's developers can be reached at info@pacti.org.\n\nThe Pacti project can be acknowledged by citing\n\n[Inigo Incer, Apurva Badithela, Josefine Graebener, Piergiuseppe Mallozzi, Ayush Pandey, Sheng-Jung Yu, Albert Benveniste, Benoit Caillaud, Richard M. Murray, Alberto Sangiovanni-Vincentelli, and Sanjit A. Seshia. \n\"Pacti: Scaling Assume-Guarantee Reasoning for System Analysis and Design.\" ArXiv abs/2303.17751 (2023).](https://arxiv.org/abs/2303.17751)\n",
    "bugtrack_url": null,
    "license": "BSD-3-Clause",
    "summary": "A package for compositional system analysis and design",
    "version": "0.1.0",
    "project_urls": {
        "Bug Tracker": "https://github.com/pacti-org/pacti/issues",
        "documentation": "https://www.pacti.org",
        "repository": "https://github.com/pacti-org/pacti"
    },
    "split_keywords": [
        "system design",
        "contracts",
        "compositional"
    ],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "d9f62cb01bffc80ab6348a5ff05a79f8ab1053a80315b89af4c5dda01dd3b6cc",
                "md5": "749cd809634f04750613f4777e3fd950",
                "sha256": "60f101d8a52d3939dc3109d0b24b666bad2d35f5f0bb6769ca4d1547021e5764"
            },
            "downloads": -1,
            "filename": "Pacti-0.1.0-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "749cd809634f04750613f4777e3fd950",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.8, <3.12",
            "size": 42563,
            "upload_time": "2023-09-03T20:32:30",
            "upload_time_iso_8601": "2023-09-03T20:32:30.036897Z",
            "url": "https://files.pythonhosted.org/packages/d9/f6/2cb01bffc80ab6348a5ff05a79f8ab1053a80315b89af4c5dda01dd3b6cc/Pacti-0.1.0-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "ec87337447a04dcbf3d00f7ff6dae5609b2c1eca4139d56077077e0b9391211e",
                "md5": "20b8ffbfdd71b492a6d9274250cebe47",
                "sha256": "e4b649148a7e9580b707bc0e572dc5f01b0b8092b9651fc8e258c186156af494"
            },
            "downloads": -1,
            "filename": "Pacti-0.1.0.tar.gz",
            "has_sig": false,
            "md5_digest": "20b8ffbfdd71b492a6d9274250cebe47",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.8, <3.12",
            "size": 48878,
            "upload_time": "2023-09-03T20:32:31",
            "upload_time_iso_8601": "2023-09-03T20:32:31.505660Z",
            "url": "https://files.pythonhosted.org/packages/ec/87/337447a04dcbf3d00f7ff6dae5609b2c1eca4139d56077077e0b9391211e/Pacti-0.1.0.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2023-09-03 20:32:31",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "pacti-org",
    "github_project": "pacti",
    "travis_ci": false,
    "coveralls": false,
    "github_actions": true,
    "lcname": "pacti"
}
Elapsed time: 0.10693s