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: