smtlib-backends-z3: reverse dependencies per version

Direct reverse dependenciesIndirect reverse dependenciesTotal
12223
VersionReverse dependencies
0.2
    0.3
    0.3.1