z3_add_component(duality_intf
  SOURCES
    duality_dl_interface.cpp
  COMPONENT_DEPENDENCIES
    duality
    muz
    transforms
)
