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

This version

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

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.7.1.tar.gz (22.2 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.7.1-py3-none-any.whl (34.8 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: apronpy-0.7.1.tar.gz
  • Upload date:
  • Size: 22.2 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.7.1.tar.gz
Algorithm Hash digest
SHA256 c3e1fb8407373b3901c7f427b5459c22f2ca50ebfb8da177dcdb5af3b1b1d2ea
MD5 926a554c5d20fac68d2a1fa4343a5945
BLAKE2b-256 f6c4741946c788eb4f5ceac5b4a8b5d267848425898d04213622b7217c920781

See more details on using hashes here.

File details

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

File metadata

  • Download URL: apronpy-0.7.1-py3-none-any.whl
  • Upload date:
  • Size: 34.8 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.7.1-py3-none-any.whl
Algorithm Hash digest
SHA256 18053b357789b272420259554ef3c3be4124c8ceb03a377ecd5ecd5bf478f1e9
MD5 5ffa45fc3ac4900cd9f5292ac24190d4
BLAKE2b-256 f573fb009362a29b5888ad4b1a40cc98d9d8fa3a323c665fe47a6dc4eff5aab3

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