smtlib-backends - Reverse dependency statistics

smtlib-backends: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
4	22	26

Version	Reverse dependencies
0.2	smtlib-backends-process-0.2 smtlib-backends-tests-0.2 smtlib-backends-z3-0.2
0.3	liquid-fixpoint-0.9.2.5 liquid-fixpoint-0.9.4.7 liquid-fixpoint-0.9.6.3 smtlib-backends-process-0.3 smtlib-backends-tests-0.3 smtlib-backends-z3-0.3 smtlib-backends-z3-0.3.1