开发者 javaddlib.sf.net

此项目包含两个不同的二进制决策图 （BDD） 库：JBDD：一个 Java 接口，指向两个流行的 BDD 库 CUDD 和 BuDdy。JDD：支持BD、Z-BDD等的本机Java库（图形/自动机/Petri网络/SAT）