smtlib-backends-process: 2 reverse dependencies

No version specified, so showing reverse dependencies for latest version.

Depend on the latest version	Depend on other versions	Total
1	1	2