BDD Library

Binary Decision Diagrams (BDD) Library

Optimized and highly efficient BDD implementation

The Tau BDD library implementation stands out for supporting output inverters, input inverters, variable shifters, and *_many operations, all at once. It is well tested and well optimized. It features the ability to take several BDDs and perform operations over them in one pass. It is well known that such *_many functions may perform orders of magnitude faster compared to binary BDD operations.

Coming soon: Tau BDD Service

The Tau BDD service handles certain computationally intensive tasks, especially of the nature of logical reasoning, in a more performant and cost saving manner. The service comprises of a cache of already-made computations that would have to be computed independently otherwise.

Licensing and Support​

We provide technical support: bug fixes, how-to’s, and efficient answers tailored to your solution.

Contact us for questions on licensing and support:

Copyright © 2024 –  IDNI. All rights reserved.