z3-src 503.2.1

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
18

z3_add_component(bv_tactics
  SOURCES
    bit_blaster_model_converter.cpp
    bit_blaster_tactic.cpp
    bv1_blaster_tactic.cpp
    bvarray2uf_rewriter.cpp
    bvarray2uf_tactic.cpp
    bv_bound_chk_tactic.cpp
    bv_bounds_tactic.cpp
    bv_size_reduction_tactic.cpp
    bv_slice_tactic.cpp
    dt2bv_tactic.cpp
    elim_small_bv_tactic.cpp
  COMPONENT_DEPENDENCIES
    bit_blaster
    core_tactics
    tactic
)