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

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