z3_add_component(ddnf
  SOURCES
    ddnf.cpp
  COMPONENT_DEPENDENCIES
    muz
    rel
    transforms
)