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

This version

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.6.3.tar.gz (20.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.6.3-py3-none-any.whl (32.7 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: apronpy-0.6.3.tar.gz
  • Upload date:
  • Size: 20.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.6.3.tar.gz
Algorithm Hash digest
SHA256 beca6934dd1c7c6b2f5f25509719be2b44fa00e26a2a89969a2284ac6b774af8
MD5 b078df9c2d53dc6cec5c3f63b3d89687
BLAKE2b-256 a32f98fd07a40c7adaeadbd5d90f02092f927346b6c5d20576f4340244952619

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for apronpy-0.6.3-py3-none-any.whl
Algorithm Hash digest
SHA256 a92ecbf3b4c38efc5b1fe9acc3a8fae84caf6cb284253759e934635fd5110318
MD5 6337120bd176ecef60f7294db7aece3c
BLAKE2b-256 2e57275e78f92b1ad251b1071e57ae51d25c3c5837955980be22aa2598974e9f

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