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
20
21
22
23
24
25
26
27
28
29
30

z3_add_component(ast_sls
  SOURCES
    bvsls_opt_engine.cpp
    sat_ddfw.cpp
    sls_arith_base.cpp
    sls_arith_clausal.cpp
    sls_arith_lookahead.cpp
    sls_arith_plugin.cpp
    sls_array_plugin.cpp
    sls_basic_plugin.cpp
    sls_bv_engine.cpp
    sls_bv_eval.cpp
    sls_bv_fixed.cpp
    sls_bv_lookahead.cpp
    sls_bv_plugin.cpp
    sls_bv_terms.cpp
    sls_bv_valuation.cpp
    sls_context.cpp
    sls_datatype_plugin.cpp
    sls_euf_plugin.cpp
    sls_seq_plugin.cpp
    sls_smt_plugin.cpp
    sls_smt_solver.cpp    
  COMPONENT_DEPENDENCIES
    ast
    euf
    converters
    normal_forms
    params
)