smt2-parser - Flattened reverse dependencies

smt2-parser: total reverse dependencies

Direct reverse dependencies	Indirect reverse dependencies	Total
1	0	1

Package name	Total reverse dependencies
hevm	0 (view)