SE547: BDDs: Implementing BDDs [16/22] |

BDDs are just about binary data, but we can code up fixed-width arithmetic...

How do we code an *n*-bit integer variable?

How do we code an *n*-bit integer expression?

How do we code *n*-bit integer arithmetic?

A partial implementation is in `simplebdd.integer.IntPred`

in file:simplebdd.zip (approx. 200loc).