# Function: alu (by Gupta et al.)
# Note: 3rd line is function output.
# a and b are inputs
# c0 c1 c2 define the function (f) as follows:
# 0 0 0 -> constant 1
# 0 0 1 -> a OR b
# 0 1 0 -> -a OR -b
# 0 1 1 -> (a AND -b) OR (-a AND b)
# 1 0 0 -> (a AND b) OR (-a AND -b)
# 1 0 1 -> a AND b
# 1 1 0 -> -a AND -b
# 1 1 1 -> constant 0
# Used Library: MCT (gates: 6 quantum costs: 14)
# This file has been taken from RevLib (www.revlib.org).
.version 1.0
.numvars 5
#.variables a b c d e
.variables e d c b a
.inputs c0 c1 c2 a b
.outputs g g f g g
.constants -----
.garbage -1111
.begin
t2 b a
t2 c d
t3 b d c
t2 c e
t1 c
t3 a e c
.end