โปรแกรมตาม iben.sf.net
-
Interactive BDD Environment ฟรี
IBEN เป็นสภาพแวดล้อม BDD แบบโต้ตอบ ช่วยให้คุณสามารถประกาศจัดการและแสดงภาพไดอะแกรมการตัดสินใจไบนารีที่สั่งซื้อลดลง (ROBDds) มันถูกออกแบบมาเป็นเครื่องมือการเรียนรู้แม้ว่าจะมีประโยชน์เมื่อใดก็ตามที่คุณต้องการจัดการ BDD แบบโต้ตอบ