z3-src 503.2.0

Source distribution of the Z3 SMT solver, for use as a build dependency
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

z3_add_component(ackermannization
  SOURCES
    ackermannize_bv_model_converter.cpp
    ackermannize_bv_tactic.cpp
    ackr_bound_probe.cpp
    ackr_helper.cpp
    ackr_model_converter.cpp
    lackr.cpp
    lackr_model_constructor.cpp
    lackr_model_converter_lazy.cpp
  COMPONENT_DEPENDENCIES
    ast
    model
    rewriter
    solver
    tactic
)