開發者 iben.sf.net

IBEN 是互動式 BDD 環境。它允許您聲明、操作和可視化縮減的有序二進位決策圖 （ROBD）。它被設計為一個學習工具，雖然它是有用的，每當你需要操作BDD互動和