SE547: BDDs: Acknowledgement [18/22]

These notes and the associated code are from Alan Jeffrey