任何方式爲二元決策圖重新排序變量？

Question

我正在研究二元決策圖的教學工具，其中還有一個用於變量重新排序的功能。任何人都可以建議一個合適的庫，它實現可變的重新排序，同時建立樹或某種實現相同的算法？

這將是最好的，如果我能與像pyeda，哥們圖書館或pycudd工作，因爲我已經熟悉了這些庫。

感謝，如果你需要任何澄清的評論..

Answer 1

你有沒有看dd，由揚FILIPPIDIS？我的作者pyeda。 Python實現ROBDDs肯定的樂趣，並能可能有一定的教育意義，但它絕對不會做任何自動變量重新排序，因此，如果這是一個要求，我建議看dd或您名單上的其他人。

Answer 2

我在馬裏博爾大學組是生產BDD偵察（http://biddy.meolic.com/），爲的BDD的可視化的工具。目前，支持具有互補邊緣的ROBDD和具有互補邊緣的0-sup-BDD。支持轉換。它們都支持重新排序（即變量交換和篩選算法）。 BDD Scout可以在GNU/Linux上運行MS Windows（可以使用源代碼和二進制軟件包）。我們希望有一天我們的工具將成爲一種好的教學工具，但我們需要一些反饋來改進它。除了魯棒性以外，這些功能組是最重要的改進部分。如果你會找到一些時間來嘗試它，不要猶豫，給我們任何意見和問題。