Chương trình theo iben.sf.net

IBEN là môi trường BDD tương tác. Nó cho phép bạn khai báo, thao tác và hình dung giảm sơ đồ quyết định nhị phân theo thứ tự (ROBDDs). Nó được thiết kế như một công cụ học tập, mặc dù nó rất hữu ích bất cứ khi nào bạn cần phả