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

Release files for apronpy 1.0.12

For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.

Source distribution (sdist)

Source distribution for apronpy 1.0.12
File Size Uploaded
apronpy-1.0.12.tar.gz 31.1 kB Details

Built distribution (wheel)

Table of built distributions (wheels) for apronpy 1.0.12
File Interpreter ABI Platform
apronpy-1.0.12-py3-none-any.whl 36.2 kB Python 3 none any Details

Total release size:67.3 kB

Release files / apronpy-1.0.12.tar.gz

Download URL apronpy-1.0.12.tar.gz
Size 31.1 kB
Tags Source
SHA-256 checksum
How to use checksums 		6b11ae263c150e9e349f761a2ed4cff03c8a3e02ed0ee45a95b47045a0a7061a
BLAKE2b-256 checksum
How to use checksums 		b2666f3598c5955550e3cd9bae87e61b4660a6199df80d476c925b4e0a951ea0
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/6.1.0 CPython/3.12.6

Release files / apronpy-1.0.12-py3-none-any.whl

Download URL apronpy-1.0.12-py3-none-any.whl
Size 36.2 kB
Tags Python 3
SHA-256 checksum
How to use checksums 		d21cb3c4f1c4c7a8890d88b525e85964bdf68e9475d6dd462d59c3d926b62198
BLAKE2b-256 checksum
How to use checksums 		d1188620d3578c822e0b91b663c602aef675697a64c727f761cbe2b550b68918
Upload date
Uploaded using Trusted Publishing?
What is trusted publishing? 		No
Uploaded via twine/6.1.0 CPython/3.12.6

Release history Release notifications | RSS feed

This release

1.0.12 This release

2 release files

1.0.11

2 release files

1.0.10

2 release files

1.0.9

2 release files

1.0.8

2 release files

1.0.6

2 release files

1.0.5

2 release files

1.0.4

2 release files

1.0.3

2 release files

1.0.2

2 release files

1.0.1

2 release files

1.0

2 release files

0.9.4

2 release files

0.9.3

2 release files

0.9.2

2 release files

0.9.1

2 release files

0.9

2 release files

0.8.2

2 release files

0.8.1

2 release files

0.8

2 release files

0.7.2

2 release files

0.7.1

2 release files

0.7

2 release files

0.6.7

2 release files

0.6.6

2 release files

0.6.5

2 release files

0.6.4

2 release files

0.6.3

2 release files

0.6.2

2 release files

0.6.1

2 release files

0.6

2 release files

0.5.3

2 release files

0.5.2

2 release files

0.5.1

2 release files

0.5

2 release files

0.4.1

2 release files

0.4

2 release files

0.3

2 release files

0.2.2

2 release files

0.2.1

2 release files

0.2

2 release files

0.1

2 release files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page