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').