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

0.5.3

0.5.2

0.5.1

0.5

This version

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.4.1.tar.gz (19.4 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.4.1-py3-none-any.whl (29.7 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: apronpy-0.4.1.tar.gz
  • Upload date:
  • Size: 19.4 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.8.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.0

File hashes

Hashes for apronpy-0.4.1.tar.gz
Algorithm Hash digest
SHA256 34abb76f36bd38ea1abdd4a072dee31400431794f555e954abc9f2af74f37cd2
MD5 5a09b94cf0781882a870f5836194f08f
BLAKE2b-256 e0ab79e58ced00b31db47b68676128defbe9871a3854977baab717afd31d9fc9

See more details on using hashes here.

File details

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

File metadata

  • Download URL: apronpy-0.4.1-py3-none-any.whl
  • Upload date:
  • Size: 29.7 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.8.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.0

File hashes

Hashes for apronpy-0.4.1-py3-none-any.whl
Algorithm Hash digest
SHA256 4f7f7aaec427dbd17ed395a3f9cbef8f49d936247eacc2988ce3d1a3165c424a
MD5 33cfd3123ebf39ddb95ea9c752e7e81d
BLAKE2b-256 f755bf95eddad0b12d18ceff5cf02f86853dbda2b3564ca7ddd2d4467dfc912b

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