MArkov PLanning with CIRcuit bellman UPdates (pronounced as "maple syrup") is an MDP solver which learns a symbolic policy function, performing the Bellman update with dynamic decision cricuits.
- Python 3 (tested with
>=3.8) - ProbLog >=2.2.2
- PySDD >=0.2.10
- numpy >= 1.23 (for parallelization)
- graphviz (for printing circuits)