testsolv(1) on Linux
The text 83f40db597a3, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.
run a libsolv testcase through the solver
Flags it lists
-
-l -
-r -
-s -
-v