开发者 bddbddb.sf.net

基于 BDD 的演绎数据库，数据日志的实现，它使用二进制决策图作为基础数据结构。这允许它有效地表示指数级的关系。