Binary Decision Diagrams

The graded assignment for Binary Decision Diagrams is in the bdd repo. We will talk through it in class and give instructions for how to carry out the assignment.

These are the teams:

[('Wester', 'Irissa'),
 ('Giorgia', 'Indigo'),
 ('Mats', 'Skye'),
 ('Montasser', 'Shelly'),
 ('Ziyu', 'Natalia', 'Margherita'),
 ('Zsuzsa', 'Romane'),
 ('Komari', 'Fatemah'),
 ('Camille', 'Ana', 'Julie',)]