binary decision diagram (BDD) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. This is the runtime package for programs that use the BuDDy BDD library. . Homepage: http://buddy.sourceforge.net/