z3_add_component(polysat
  SOURCES
    boolean.cpp
    clause.cpp
    clause_builder.cpp
    conflict.cpp
    constraint.cpp
    eq_explain.cpp
    explain.cpp
    forbidden_intervals.cpp
    justification.cpp
    linear_solver.cpp
    log.cpp
    mul_ovfl_constraint.cpp
    op_constraint.cpp
    restart.cpp
    saturation.cpp
    search_state.cpp
    simplify.cpp
    smul_fl_constraint.cpp
    solver.cpp
    ule_constraint.cpp
    viable.cpp
    variable_elimination.cpp
  COMPONENT_DEPENDENCIES
    util
    dd
    simplex
    interval
    bigfix
 PYG_FILES
    polysat_params.pyg
)