Python bindings for the tool AEON.
Project description
Biodivine/AEON.py
This repository contains AEON.py, the Python bindings for the AEON tool, which can be used for symbolic analysis of (partially specified) Boolean networks. In particular, it allows solving attractor detection and source-target control problems on large, non-trivial networks. Furthermore, these problems can be addressed even in networks with logical parameters or partially unknown dynamics.
Installation
The package is available through PyPI
for all major operating systems (Windows, Linux and macOS). To install it, you can simply run:
pip install biodivine-aeon
Documentation
For new users, we recommend familiarising with the three Jupyter notebooks below, which summarise most of the major functionality of AEON.py:
Subsequently, the manual of the standalone AEON tool (which AEON.py is based on) can be also helpful to understand some of the high-level concepts.
More advanced users can inspect a detailed API documentation available here. Note that this is a documentation generated for the Rust codebase, which is then exported into Python using the PyO3
tool. As such, note that some names may be different in the exported Python library (observe the name
attribute on most structs that is used for this reason). Nevertheless, the documentation should describe all available methods and data structures.
Building from source
At the moment, the build process includes a Z3 wrapper that will use your local Z3 installation. On linux, to build
this wrapper, you'll need clang
(and cmake
and other standard build tools). This is only required during build,
however, even at runtime, you might need to have Z3 installed to use certain features if you are running a locally
compiled version of AEON.py
.
If you are building a "release" version, we recommend running the build with --features static-z3
(see our CI
scripts on how to do this). This will "bake in" the Z3 library into the final package, which takes a lot more
time to build (~30min), but it means you don't need a local Z3 installation to run AEON.py
. Also, the users
cannot break the library by having an outdated or otherwise incompatible Z3 installed.
Project details
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 Distributions
Built Distributions
Hashes for biodivine_aeon-0.2.0a4-cp37-abi3-win_amd64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | adc524d6b147cb9b33921fb87be9fa3a7cd5a379abf3051bcf9311a7b991db4a |
|
MD5 | f5cf2f316e998f8143c4c63939700a16 |
|
BLAKE2b-256 | 0a369db505ceffc4eeb31dea45af356f4e125bd1791dfd475621ac6046fc3c1a |
Hashes for biodivine_aeon-0.2.0a4-cp37-abi3-manylinux_2_28_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 48b3bf4d8acaf49c037efbe4321e58d74a983f68bab45bb594d9ef6e3ad291cf |
|
MD5 | 5a0b400700e5e189d125c23b4622c24b |
|
BLAKE2b-256 | e4dca3a7b711d364ea789c8ed1150b8dae47a5aaf1da346a880fdeccf74e351e |
Hashes for biodivine_aeon-0.2.0a4-cp37-abi3-macosx_11_0_x86_64.macosx_11_0_arm64.macosx_11_0_universal2.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 9639ebd448e3832d5f045310e9b62864880081125a5ffd1f13a27192d29bdc95 |
|
MD5 | 591dae7d0d3c93141be5e13bcdb714fd |
|
BLAKE2b-256 | 66e834f422b721ccc39fdc0aa70b0c1395a4d933a7298429b79273c8e0d7f99a |