Java library for manipulating BDDs (Binary Decision Diagrams). Binary decision diagrams are widely used in model checking, formal verification, optimizing circuit diagrams, etc.
If you are like the rest of our user community, your IT team is busy. With pressure to deliver on-time projects, you don’t have a lot of time to spend making your management tools work. You need network monitoring tools that work for you. You want tools that makes it easy to find performance issues before your users do and resolve them before they impact the business. That’s why tens of thousands of customers around the world love WhatsUp Gold.
Website | http://javabdd.sourceforge.net |
Tags | Scientific/EngineeringSoftware Development |
License | GNU Library or Lesser General Public License version 2.0 (LGPLv2) |
Platform | Linux Mac Windows |
Features |
|