testsolv(1) on Linux
The text 058fd73877a9, as Debian 10 (Buster) shipped it.
run a libsolv testcase through the solver
Flags it lists
-
-l -
-r -
-s -
-v