# 2-bit by 2-bit binary adder (with no carry input)
# 4 inputs binary vars
.i 4
# 3 outputs binary vars
.o 3
# the matrix is described by means of on-set and off-set
.type fr
# input labels
.ilb a1 a0 b1 b0
# output labels
.ob s2 s1 s0
# pairing input variables
.pair 2 (a1 b1) (a0 b0)
# outputs phases
.phase 011
# number of products
.p 16
0000  000
0001  001
0010  010
0011  011
0100  001
0101  010
0110  011
0111  100
1000  010
1001  011
1010  100
1011  101
1100  011
1101  100
1110  101
1111  110
.e
