z3-z3-4.13.0.src.muz.rel.CMakeLists.txt Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of z3-turnkey Show documentation

TurnKey artifact for Z3

The newest version!

z3_add_component(rel
  SOURCES
    aig_exporter.cpp
    check_relation.cpp
    dl_base.cpp
    dl_bound_relation.cpp
    dl_check_table.cpp
    dl_compiler.cpp
    dl_external_relation.cpp
    dl_finite_product_relation.cpp
    dl_instruction.cpp
    dl_interval_relation.cpp
    dl_lazy_table.cpp
    dl_mk_explanations.cpp
    dl_mk_similarity_compressor.cpp
    dl_mk_simple_joins.cpp
    dl_product_relation.cpp
    dl_relation_manager.cpp
    dl_sieve_relation.cpp
    dl_sparse_table.cpp
    dl_table.cpp
    dl_table_relation.cpp
    doc.cpp
    karr_relation.cpp
    rel_context.cpp
    udoc_relation.cpp
  COMPONENT_DEPENDENCIES
    muz
    transforms
)