添加的内容 删除的内容
小 （机器人：清理不当的来源、移除无用的模板参数） |
小 （机器人：清理不当的来源、移除无用的模板参数） |
||
| 第23行： | 第23行： | ||
* The Berkeley [http://embedded.eecs.berkeley.edu/Research/cal_bdd/ CAL] package which does breadth-first manipulation |
* The Berkeley [http://embedded.eecs.berkeley.edu/Research/cal_bdd/ CAL] package which does breadth-first manipulation |
||
* [http://ddd.lip6.fr DDD]: A C++ library with support for integer valued and hierarchical decision diagrams. |
* [http://ddd.lip6.fr DDD]: A C++ library with support for integer valued and hierarchical decision diagrams. |
||
* |
* JINC: A C++ library developed at University of Bonn, Germany, supporting several BDD variants and multi-threading. |
||
* [http://myvideos.stanford.edu/player/slplayer.aspx?coll=ea60314a-53b3-4be2-8552-dcf190ca0c0b&co=18bcd3a8-965a-4a63-a516-a1ad74af1119&o=true Fun With Binary Decision Diagrams (BDDs)], lecture by [[Donald Knuth]] |
* [http://myvideos.stanford.edu/player/slplayer.aspx?coll=ea60314a-53b3-4be2-8552-dcf190ca0c0b&co=18bcd3a8-965a-4a63-a516-a1ad74af1119&o=true Fun With Binary Decision Diagrams (BDDs)], lecture by [[Donald Knuth]] |
||