src/smt_util/CMakeLists.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

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 ${smtutil_src_files})
target_compile_definitions(smtutil PRIVATE -D__BUILDING_CVC4LIB)
target_link_libraries(smtutil expr)