smtlib-backends - Reverse dependency statistics

smtlib-backends: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
5	25	30

Version	Reverse dependencies
0.2	smtlib-backends-process-0.2 smtlib-backends-tests-0.2 smtlib-backends-z3-0.2
0.3	hasmtlib-1.0.0 hasmtlib-1.0.1 liquid-fixpoint-0.9.2.5 liquid-fixpoint-0.9.4.7 liquid-fixpoint-0.9.6.3 liquid-fixpoint-0.9.6.3.1 liquid-fixpoint-0.9.6.3.2 liquid-fixpoint-0.9.6.3.3 liquid-fixpoint-0.9.6.3.4 liquid-fixpoint-0.9.6.3.5 smtlib-backends-process-0.3 smtlib-backends-tests-0.3 smtlib-backends-z3-0.3 smtlib-backends-z3-0.3.1
0.4	hasmtlib-1.0.0 hasmtlib-1.0.1 hasmtlib-1.0.2 hasmtlib-1.1.0 hasmtlib-1.1.1 hasmtlib-1.1.2 hasmtlib-1.2.0 hasmtlib-1.3.0 hasmtlib-1.3.1 hasmtlib-2.0.0 hasmtlib-2.0.1 hasmtlib-2.1.0 hasmtlib-2.2.0 hasmtlib-2.3.0 hasmtlib-2.3.1 hasmtlib-2.3.2 hasmtlib-2.4.0 hasmtlib-2.5.0 hasmtlib-2.5.1 hasmtlib-2.6.0 hasmtlib-2.6.1 hasmtlib-2.6.2 hasmtlib-2.6.3 hasmtlib-2.7.0 hasmtlib-2.7.1 hasmtlib-2.7.2 hasmtlib-2.8.0 hasmtlib-2.8.1 liquid-fixpoint-0.9.2.5 liquid-fixpoint-0.9.4.7 liquid-fixpoint-0.9.6.3 liquid-fixpoint-0.9.6.3.1 liquid-fixpoint-0.9.6.3.2 liquid-fixpoint-0.9.6.3.3 liquid-fixpoint-0.9.6.3.4 liquid-fixpoint-0.9.6.3.5 smtlib-backends-process-0.3 smtlib-backends-tests-0.3 smtlib-backends-z3-0.3.1