smtlib2 - Reverse dependency statistics

smtlib2: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
6	8	14

Version	Reverse dependencies
0.1	acme-everything-2015.4.15.1 acme-everything-2015.5.4.1
0.2	acme-everything-2015.4.15.1 acme-everything-2015.5.4.1
0.3	acme-everything-2015.4.15.1 acme-everything-2015.5.4.1 copilot-theorem-2.2.0 copilot-theorem-2.2.1
0.3.1	acme-everything-2015.4.15.1 acme-everything-2015.5.4.1 copilot-theorem-2.2.0 copilot-theorem-2.2.1
1.0	acme-everything-2015.4.15.1 acme-everything-2015.5.4.1 copilot-theorem-2.2.0 smtlib2-debug-1.0 smtlib2-pipe-1.0 smtlib2-quickcheck-1.0 smtlib2-timing-1.0