z3-src 415.4.3

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
19
20
21
22
23
24
25
26
27
28

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
    dt2bv_tactic.cpp
    elim_small_bv_tactic.cpp
  COMPONENT_DEPENDENCIES
    bit_blaster
    core_tactics
    tactic
  TACTIC_HEADERS
    bit_blaster_tactic.h
    bv1_blaster_tactic.h
    bv_bound_chk_tactic.h
    bv_bounds_tactic.h
    bv_size_reduction_tactic.h
    bv_slice_tactic.h
    bvarray2uf_tactic.h
    dt2bv_tactic.h
    elim_small_bv_tactic.h
    max_bv_sharing_tactic.h
)