Python Interface for the APRON Numerical Abstract Domain Library
Project description
apronpy
Python Interface for the APRON Numerical Abstract Domain Library.
Getting Started
Prerequisites
-
Install APRON
-
Install Python 3.x
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
Release history Release notifications | RSS feed
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.3.tar.gz
(23.1 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
apronpy-1.0.3-py3-none-any.whl
(35.7 kB
view details)
File details
Details for the file apronpy-1.0.3.tar.gz.
File metadata
- Download URL: apronpy-1.0.3.tar.gz
- Upload date:
- Size: 23.1 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.32.2 CPython/3.7.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
e596401b72642d612a623be79702b8dd491689fbadeb9295cf8f49547fd5456e
|
|
| MD5 |
c2f797b8f9da50bea3ded829f19caa78
|
|
| BLAKE2b-256 |
bc755a56cc6fed1ae84fa84407f5976d62735c2d91cc3b10e0707a0c8efbb335
|
File details
Details for the file apronpy-1.0.3-py3-none-any.whl.
File metadata
- Download URL: apronpy-1.0.3-py3-none-any.whl
- Upload date:
- Size: 35.7 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.22.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.32.2 CPython/3.7.3
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
dcd307244dd592097c3d398b334fbd21818e6aab6db871048cc7f9c38fdd8059
|
|
| MD5 |
40611e7f4e50b048577a7670b5d1a5a5
|
|
| BLAKE2b-256 |
620a16dc9a2f204f891f259d30736a156bf1b03a358e531a35e9fd88bc980563
|
