ADD_LIBRARY(contraction OBJECT
    contractGraph.c
    contractGraph_driver.cpp
    contract.cpp
    )
