SRC +=  src/misc/mvc/mvcApi.c \
    src/misc/mvc/mvcCompare.c \
    src/misc/mvc/mvcContain.c \
    src/misc/mvc/mvcCover.c \
    src/misc/mvc/mvcCube.c \
    src/misc/mvc/mvcDivide.c \
    src/misc/mvc/mvcDivisor.c \
    src/misc/mvc/mvcList.c \
    src/misc/mvc/mvcLits.c \
    src/misc/mvc/mvcMan.c \
    src/misc/mvc/mvcOpAlg.c \
    src/misc/mvc/mvcOpBool.c \
    src/misc/mvc/mvcPrint.c \
    src/misc/mvc/mvcSort.c \
    src/misc/mvc/mvcUtils.c
