◆
ROBDD
← All solvers
◐
Build tree
¬
∧
∨
⊃
≡
(
)
or type
~ & | -> <->
Order
Done
To formula
0-edge (low)
1-edge (high)
Tidy
Undo
Restart