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

Алгоритм сжатия и декомпрессии диаграмм бинарных решений во многих случаях уменьшит размер BDD до 1-2 битов на узел.