incremental-sat-solver - Reverse dependency statistics

incremental-sat-solver: reverse dependencies per version

Direct reverse dependencies	Indirect reverse dependencies	Total
3	0	3

Version	Reverse dependencies
0.1	acme-everything-2015.4.15.1 cflp-2009.2.1 logic-classes-0.44 logic-classes-0.45 logic-classes-0.47 logic-classes-0.48 logic-classes-1.1 logic-classes-1.4 logic-classes-1.4.1 logic-classes-1.4.2 logic-classes-1.4.3 logic-classes-1.4.4 logic-classes-1.4.5 logic-classes-1.4.6
0.1.1	acme-everything-2015.4.15.1 cflp-2009.2.1 logic-classes-0.44 logic-classes-0.45 logic-classes-0.47 logic-classes-0.48 logic-classes-1.1 logic-classes-1.4 logic-classes-1.4.1 logic-classes-1.4.2 logic-classes-1.4.3 logic-classes-1.4.4 logic-classes-1.4.5 logic-classes-1.4.6
0.1.2	acme-everything-2015.4.15.1 cflp-2009.2.1 logic-classes-0.44 logic-classes-0.45 logic-classes-0.47 logic-classes-0.48 logic-classes-1.1 logic-classes-1.4 logic-classes-1.4.1 logic-classes-1.4.2 logic-classes-1.4.3 logic-classes-1.4.4 logic-classes-1.4.5 logic-classes-1.4.6
0.1.3	acme-everything-2015.4.15.1 cflp-2009.2.1 logic-classes-0.44 logic-classes-0.45 logic-classes-0.47 logic-classes-0.48 logic-classes-1.1 logic-classes-1.4 logic-classes-1.4.1 logic-classes-1.4.2 logic-classes-1.4.3 logic-classes-1.4.4 logic-classes-1.4.5 logic-classes-1.4.6
0.1.4	acme-everything-2015.4.15.1 cflp-2009.2.1 logic-classes-0.44 logic-classes-0.45 logic-classes-0.47 logic-classes-0.48 logic-classes-1.1 logic-classes-1.4 logic-classes-1.4.1 logic-classes-1.4.2 logic-classes-1.4.3 logic-classes-1.4.4 logic-classes-1.4.5 logic-classes-1.4.6
0.1.5	acme-everything-2015.4.15.1 cflp-2009.2.1 logic-classes-0.44 logic-classes-0.45 logic-classes-0.47 logic-classes-0.48 logic-classes-1.1 logic-classes-1.4 logic-classes-1.4.1 logic-classes-1.4.2 logic-classes-1.4.3 logic-classes-1.4.4 logic-classes-1.4.5 logic-classes-1.4.6
0.1.6	acme-everything-2015.4.15.1 cflp-2009.2.1 logic-classes-0.44 logic-classes-0.45 logic-classes-0.47 logic-classes-0.48 logic-classes-1.1 logic-classes-1.4 logic-classes-1.4.1 logic-classes-1.4.2 logic-classes-1.4.3 logic-classes-1.4.4 logic-classes-1.4.5 logic-classes-1.4.6
0.1.7	acme-everything-2015.4.15.1 cflp-2009.2.1 logic-classes-0.44 logic-classes-0.45 logic-classes-0.47 logic-classes-0.48 logic-classes-1.1 logic-classes-1.4 logic-classes-1.4.1 logic-classes-1.4.2 logic-classes-1.4.3 logic-classes-1.4.4 logic-classes-1.4.5 logic-classes-1.4.6
0.1.8	acme-everything-2015.4.15.1 cflp-2009.2.1 logic-classes-0.44 logic-classes-0.45 logic-classes-0.47 logic-classes-0.48 logic-classes-1.1 logic-classes-1.4 logic-classes-1.4.1 logic-classes-1.4.2 logic-classes-1.4.3 logic-classes-1.4.4 logic-classes-1.4.5 logic-classes-1.4.6