二分決定図
ABCD: by Armin Biere
BuDDy: by Jørn Lind-Nielsen
CMU BDD: カーネギーメロン大学(ピッツバーグ)
CUDD: コロラド大学(ボールダー)
JavaBDD, Java版 BuDDy。CUDD, CAL, JDD とのインターフェイスを持つ
CAL: UCB、幅優先操作を行う。
TUD BDD: by Stefan Höreth
JDD: by Vahidi、Javaによる実装。BDD と ZDD をサポート
JBDD: by Vahidi、BuDDYおよびCUDDとのJavaインターフェイス