z3_add_component(ast_sls
  SOURCES
    bvsls_opt_engine.cpp
    sls_engine.cpp    
  COMPONENT_DEPENDENCIES
    ast
    converters
    normal_forms
)
