z3_add_component(fpa
  SOURCES
    bv2fpa_converter.cpp
    fpa2bv_converter.cpp
    fpa2bv_rewriter.cpp
  COMPONENT_DEPENDENCIES
    ast
    rewriter
    model
    util
)