Interactive BDD Environment 1.1
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 3.0/5 - 1 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang Interactive BDD Environment
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 apabila anda perlu memanipulasi BDD secara interaktif dan