z3_add_component(simplex
  SOURCES
    simplex.cpp
    model_based_opt.cpp
    bit_matrix.cpp
  COMPONENT_DEPENDENCIES
    util
)