Sybila Lab

Jupyter notebooks with AEON and bonesis.

https://sourceforge.net/projects/diamond-adf/files/

https://github.com/sybila/biodivine-adf-solver

https://github.com/bnediction/mpbn

https://github.com/giang-trinh/fASP

https://github.com/daemontus/tsconj/

https://github.com/sybila/biodivine-aeon-py

https://github.com/ellmau/adf-obdd

YADF is a system for solving Abstract Dialectical Frameworks (ADFs) using dynamic ASP

The k++ADF solver (https://bitbucket.org/andreasniskanen/k-adf/src/master/)