gt-congruence(1) on Linux
The text 88c4ebff26fc, as Debian 12 (Bookworm) shipped it.
Call a congruence subtool and pass argument(s) to it.
Flags it lists
-
-help -
-version
The text 88c4ebff26fc, as Debian 12 (Bookworm) shipped it.
Call a congruence subtool and pass argument(s) to it.
-help
-version