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

z3_add_component(ff_ast
  SOURCES
    ff_evidence.cpp
    ff_solver.cpp
  COMPONENT_DEPENDENCIES
    ast
    simplifiers
    model
    rewriter
    ff
    params
)