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

This version

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.6.7.tar.gz (22.0 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.7-py3-none-any.whl (36.7 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: apronpy-0.6.7.tar.gz
  • Upload date:
  • Size: 22.0 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.7.tar.gz
Algorithm Hash digest
SHA256 17aca39f50c0199eb818f526e988dee2de604d5230e3519563c90d339dacf76d
MD5 0df1e289d430f6b56d87c9409e10e02c
BLAKE2b-256 e0fbd69aa104eb14ebd27664afba492af5d614c80ac4ce09c4519bd1328f5125

See more details on using hashes here.

File details

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

File metadata

  • Download URL: apronpy-0.6.7-py3-none-any.whl
  • Upload date:
  • Size: 36.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.7-py3-none-any.whl
Algorithm Hash digest
SHA256 0bc805170a9845dc73a4bd82a326d63d17a9470b974f334f10a9d08b16fe65d2
MD5 e911997ca3a326449aa1b81ac8bb0b14
BLAKE2b-256 afc3d8389bb6de13eff0842804b52c10bbc7a2a6832169b5c357f5b7005651cd

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