z3_add_component(euf
  SOURCES
    euf_ac_plugin.cpp
    euf_arith_plugin.cpp
    euf_bv_plugin.cpp
    euf_egraph.cpp
    euf_enode.cpp
    euf_etable.cpp
    euf_justification.cpp
    euf_mam.cpp
    euf_plugin.cpp
    euf_specrel_plugin.cpp
    ho_matcher.cpp
  COMPONENT_DEPENDENCIES
    ast
    util
    rewriter
)
