Программы bddbddb.sf.net

База данных на основе BDD, реализация Datalog, которая использует Диаграммы двоичных решений в качестве базовой структуры данных. Это позволяет эффективно представлять экспоненциально-размерные отношения.