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

z3_add_component(qe
  SOURCES
    nlarith_util.cpp
    nlqsat.cpp
    qe_arith_plugin.cpp
    qe_array_plugin.cpp
    qe_bool_plugin.cpp
    qe_bv_plugin.cpp
    qe_cmd.cpp
    qe.cpp
    qe_datatype_plugin.cpp
    qe_dl_plugin.cpp
    qe_mbi.cpp
    qe_mbp.cpp
    qe_tactic.cpp
    qsat.cpp
  COMPONENT_DEPENDENCIES
    nlsat_tactic
    nlsat
    smt
    tactic
    mbp
    qe_lite
)

add_subdirectory(lite)
add_subdirectory(mbp)