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 14 days ago Download File
buddy.spec 1.21 KB 14 days ago Download File

Comments for home:zhonghuaren (0)