mvsis>
print_range
{f}: 2
{g}: 2
{h}: 2
a: 8
b: 8
c: 8
d: 8
e: 8
red_adder: 3 nodes,
3 POs, 15 cubes(sop), 44 lits(sop), 28 lits(fact.)
mvsis>
mvsis>
encode
red_adder: 3 nodes,
3 POs, 15 cubes(sop), 44 lits(sop), 28 lits(fact.)
mvsis>
mvsis>
print_range
{f}: 2 o: 2
{g}: 2 p: 2
{h}: 2 q: 2
i: 2 r: 2
j: 2 s: 2
k: 2 t: 2
l: 2 u: 2
m: 2 v: 2
n: 2 w: 2
red_adder: 3 nodes,
3 POs, 15 cubes(sop), 44 lits(sop), 28 lits(fact.)
mvsis>