z3-src 503.0.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
28

z3_add_component(tactic
  SOURCES
    dependency_converter.cpp
    goal.cpp
    goal_num_occurs.cpp
    goal_shared_occs.cpp
    goal_util.cpp
    probe.cpp
    tactical.cpp
    tactic.cpp
  COMPONENT_DEPENDENCIES
    ast
    model
    simplifiers
    converters
)

add_subdirectory(aig)
add_subdirectory(arith)
add_subdirectory(bv)
add_subdirectory(core)
add_subdirectory(fd_solver)
add_subdirectory(ff)
add_subdirectory(fpa)
add_subdirectory(portfolio)
add_subdirectory(sls)
add_subdirectory(smtlogics)
add_subdirectory(ufbv)