Use explain in python

[dominikue]

hi, thank you for your great Python package! How can I use explain directly from python? I couldn't find any documentation or example for this. My goal is to get the complete evaluation tree for all rules.

Also if I am using Explain form the shell it returns the following error "FileNotFoundError: [Errno 2] No such file or directory: 'maxsatz'" but I I did not know how to download maxsatz.

thank you for your support and time! br,
dominik

[rmanhaeve]

Hi

To get an explanation, you should replicate the steps taken in this file: problog/tasks/explain.py

What operating system are you on? Did you install the package, or just clone it? When installing the package on Linux and MacOS, it builds maxsatz for you.

Kind regards,
Robin