If you want to explore how BDD algorithms work visually, with animations, I did write an open-source tool for exactly this purpose a while ago: https://nicze.de/philipp/bdds/

Let me know if it is of any use! :)

Sources are at https://github.com/suyjuris/obst .