Program menurut iben.sf.net

IBEN adalah lingkungan BDD interaktif. Ini memungkinkan Anda untuk mendeklarasikan, memanipulasi, dan memvisualisasikan pengurangan diagram keputusan biner yang dipesan (ROBDD). Ini dirancang sebagai alat pembelajaran, meskip