LogoopenSUSE Build Service > Projects
Sign Up | Log In

Binary decision-diagram library

Binary decision diagrams (BDDs) are space-efficient encodings of boolean expressions or dynamic truth tables, used in eg. model checking. BuDDy is an efficient BDD library with all the standard BDD operations, dynamic reordering of variables, automated garbage collection, a C++ interface with automatic reference counting, and more.

Source Files

Filename Size Changed Actions
buddy-2.4.tar.gz 749 KB Download File
buddy.spec 1.21 KB Download File

Comments for home:zhonghuaren (0)

Login required, please login or signup in order to comment