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

z3_add_component(converters
  SOURCES
    expr_inverter.cpp
    equiv_proof_converter.cpp
    generic_model_converter.cpp
    horn_subsume_model_converter.cpp
    model_converter.cpp
    proof_converter.cpp
    replace_proof_converter.cpp
  COMPONENT_DEPENDENCIES
    model
)