z3_add_component(automata
  SOURCES
    automaton.cpp
  COMPONENT_DEPENDENCIES
    util
)