testsolv(1) on Linux
The text 2476ce552ea0, as Debian 9 (Stretch) shipped it.
run a libsolv testcase through the solver
Flags it lists
-
-l -
-r -
-s -
-v