z3-src 503.2.2

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(smtlogic_tactics
  SOURCES
    nra_tactic.cpp
    qfaufbv_tactic.cpp
    qfauflia_tactic.cpp
    qfbv_tactic.cpp
    qfidl_tactic.cpp
    qflia_tactic.cpp
    qflra_tactic.cpp
    qfnia_tactic.cpp
    qfnra_tactic.cpp
    qfufbv_ackr_model_converter.cpp
    qfufbv_tactic.cpp
    qfuf_tactic.cpp
    quant_tactics.cpp
    smt_tactic.cpp
  COMPONENT_DEPENDENCIES
    ackermannization
    aig_tactic
    arith_tactics
    bv_tactics
    fp
    muz
    nlsat_tactic
    qe
    sat_solver
    smt_tactic
)