name(bddem). title('A library for manipulating Binary Decision Diagrams'). version('4.3.1'). author('Fabrizio Riguzzi','fabrizio.riguzzi@unife.it'). download('https://github.com/friguzzi/bddem/releases/*.zip').