z3_add_component(interval
  SOURCES
    interval_mpq.cpp
  COMPONENT_DEPENDENCIES
    util
)
