AEON.py

Webpage: sybila/biodivine-aeon-py

Symbolic analysis (attractors, reachability) of (partially specified) Boolean networks

Notebooks

• Biodivine AEON
• Parametrised Boolean Networks in AEON.py
• Symbolic computation using BDDs in AEON.py