Atur cara mengikut iben.sf.net

IBEN adalah persekitaran BDD interaktif. Ia membolehkan anda mengisytiharkan, memanipulasi dan memanipulasi gambar rajah keputusan binari yang dikurangkan (ROBDD). Ia direka sebagai alat pembelajaran, walaupun ia berguna apab