z3-src 416.0.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

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
  TACTIC_HEADERS
    probe.h
    tactic.h
)