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

z3_add_component(euf
  SOURCES
    euf_ac_plugin.cpp
    euf_arith_plugin.cpp
    euf_bv_plugin.cpp
    euf_egraph.cpp
    euf_enode.cpp
    euf_etable.cpp
    euf_justification.cpp
    euf_mam.cpp
    euf_plugin.cpp
    euf_specrel_plugin.cpp
    ho_matcher.cpp
  COMPONENT_DEPENDENCIES
    ast
    util
    rewriter
)