Python Interface for the APRON Numerical Abstract Domain Library

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for caterinaurban from gravatar.com caterinaurban

Unverified details

These details have not been verified by PyPI
Project links
Meta
Report project as malware

Project description

apronpy

Python Interface for the APRON Numerical Abstract Domain Library.

Getting Started

Prerequisites

Installation

  • Create a virtual Python environment:

    Linux or Mac OS X
    virtualenv --python=python3 <env>

  • Install apronpy in the virtual environment:

    Linux or Mac OS X
    ./<env>/bin/pip install apronpy

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for caterinaurban from gravatar.com caterinaurban

Unverified details

These details have not been verified by PyPI
Project links
Meta

Release history Release notifications | RSS feed

1.0.12

1.0.11

1.0.10

1.0.9

1.0.8

1.0.6

1.0.5

1.0.4

1.0.3

1.0.2

1.0.1

1.0

0.9.4

0.9.3

0.9.2

0.9.1

0.9

0.8.2

0.8.1

0.8

0.7.2

0.7.1

0.7

0.6.7

0.6.6

0.6.5

0.6.4

0.6.3

0.6.2

0.6.1

0.6

This version

0.5.3

0.5.2

0.5.1

0.5

0.4.1

0.4

0.3

0.2.2

0.2.1

0.2

0.1

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

apronpy-0.5.3.tar.gz (19.7 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

apronpy-0.5.3-py3-none-any.whl (31.0 kB view details)

Uploaded Python 3

File details

Details for the file apronpy-0.5.3.tar.gz.

File metadata

  • Download URL: apronpy-0.5.3.tar.gz
  • Upload date:
  • Size: 19.7 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/40.9.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.0

File hashes

Hashes for apronpy-0.5.3.tar.gz
Algorithm Hash digest
SHA256 26e57fe7d06d0fd1734668ee2e8b5d1bbc91cebe5c909aee47434a93e8948cfc
MD5 e9cf8793122ff0c5576021a0976d195a
BLAKE2b-256 49ed7cccecd3e36afa253df788df510d8feedbf766d271b0499fdd0f9defab11

See more details on using hashes here.

File details

Details for the file apronpy-0.5.3-py3-none-any.whl.

File metadata

  • Download URL: apronpy-0.5.3-py3-none-any.whl
  • Upload date:
  • Size: 31.0 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/40.9.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.0

File hashes

Hashes for apronpy-0.5.3-py3-none-any.whl
Algorithm Hash digest
SHA256 98524549e36a9796f78eddd837bfbaf595abd0431cc4d33935bfb2997d3a9512
MD5 0fa3736901d188bd26cf40d31cc1523c
BLAKE2b-256 ac8c8804165b01d4d63a4fcc77dc997cd5c68117295581720b17fad488e67655

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page