Metadata-Version: 2.1
Name: biodivine_aeon
Version: 0.0.6
Classifier: Programming Language :: Rust
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Programming Language :: Python :: Implementation :: PyPy
Summary: Python bindings for the Biodivine tool Aeon.
Requires-Python: >=3.6
Description-Content-Type: text/markdown; charset=UTF-8; variant=GFM

# Biodivine Aeon (Python)

Here, we have Python bindings for the main functionality of the tool Aeon. At the moment, this is symbolic attractor detection and classification (as stable, oscillating and disordered attractors), but eventually, it may also include model checking and control synthesis. 

The library is available on `PyPi`, so you can install it directly through pip:

```
pip install biodivine_aeon
```

A basic example of usage for the Python byndings is provided in this [Jupyter notebook](https://deepnote.com/project/Aeonpy-Examples-CR33GbmyS2e4tqqZCcCwjA/%2Fexample_aeon.ipynb). To learn more details about the library, you can also inspect Aeon [manual](https://biodivine.fi.muni.cz/aeon/manual/v0.4.0/index.html). But the manual is mainly focused on the GUI of the tool.



