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

IBEN - это интерактивная среда BDD. Это позволяет декларировать, манипулировать и визуализировать уменьшенные диаграммы бинарных решений (ROBDDs). Он был разработан как инструмент обучения, хотя это полезно всякий раз, когда