set(smtutil_src_files
  boolean_simplification.cpp
  boolean_simplification.h
  lemma_channels.cpp
  lemma_channels.h
  lemma_input_channel.h
  lemma_output_channel.h
  nary_builder.cpp
  nary_builder.h
  node_visitor.h
)

add_library(smtutil SHARED ${smtutil_src_files})
set_target_properties(smtutil PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4LIB)
target_link_libraries(smtutil expr)