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 links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

1 maintainer

PyPI data
Data sourced directly from PyPI's database.
Avatar for caterinaurban from gravatar.com caterinaurban

Credits

Author: Caterina Urban

Report project as malware

Download files

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

Source Distribution

apronpy-1.0.12.tar.gz (31.1 kB view details)

Uploaded Source

Built Distribution

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

apronpy-1.0.12-py3-none-any.whl (36.2 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: apronpy-1.0.12.tar.gz
  • Upload date:
  • Size: 31.1 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.12.6

File hashes

Hashes for apronpy-1.0.12.tar.gz
Algorithm Hash digest
SHA256 6b11ae263c150e9e349f761a2ed4cff03c8a3e02ed0ee45a95b47045a0a7061a
MD5 fdc93761c647e3afb22fe5c19ce15e2e
BLAKE2b-256 b2666f3598c5955550e3cd9bae87e61b4660a6199df80d476c925b4e0a951ea0

See more details on using hashes here.

File details

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

File metadata

  • Download URL: apronpy-1.0.12-py3-none-any.whl
  • Upload date:
  • Size: 36.2 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/6.1.0 CPython/3.12.6

File hashes

Hashes for apronpy-1.0.12-py3-none-any.whl
Algorithm Hash digest
SHA256 d21cb3c4f1c4c7a8890d88b525e85964bdf68e9475d6dd462d59c3d926b62198
MD5 9c96aaae587807523c8c64c2870548c0
BLAKE2b-256 d1188620d3578c822e0b91b663c602aef675697a64c727f761cbe2b550b68918

See more details on using hashes here.

Release history Release notifications | RSS feed

This release

1.0.12 This release

2 files

1.0.11

2 files

1.0.10

2 files

1.0.9

2 files

1.0.8

2 files

1.0.6

2 files

1.0.5

2 files

1.0.4

2 files

1.0.3

2 files

1.0.2

2 files

1.0.1

2 files

1.0

2 files

0.9.4

2 files

0.9.3

2 files

0.9.2

2 files

0.9.1

2 files

0.9

2 files

0.8.2

2 files

0.8.1

2 files

0.8

2 files

0.7.2

2 files

0.7.1

2 files

0.7

2 files

0.6.7

2 files

0.6.6

2 files

0.6.5

2 files

0.6.4

2 files

0.6.3

2 files

0.6.2

2 files

0.6.1

2 files

0.6

2 files

0.5.3

2 files

0.5.2

2 files

0.5.1

2 files

0.5

2 files

0.4.1

2 files

0.4

2 files

0.3

2 files

0.2.2

2 files

0.2.1

2 files

0.2

2 files

0.1

2 files

Supported by

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