SRC +=  src/proof/fraig/fraigApi.c \
	src/proof/fraig/fraigCanon.c \
	src/proof/fraig/fraigFanout.c \
	src/proof/fraig/fraigFeed.c \
	src/proof/fraig/fraigMan.c \
	src/proof/fraig/fraigMem.c \
	src/proof/fraig/fraigNode.c \
	src/proof/fraig/fraigPrime.c \
	src/proof/fraig/fraigSat.c \
	src/proof/fraig/fraigTable.c \
	src/proof/fraig/fraigUtil.c \
	src/proof/fraig/fraigVec.c