Tarafından Programlar iben.sf.net

IBEN interaktif BDD ortamıdır. İndirimli ikili karar diyagramlarını (ROBDD'ler) beyan etmenizi, işlemenizi ve görselleştirmenizi sağlar. Bir öğrenme aracı olarak tasarlanmıştır, ancak BDD'yi etkileşimli olarak manipüle etmek