Call a congruence subtool and pass argument(s) to it.
gt congruence [option ...] congruence_tool [argument ...]
-help
display help and exit
-version
display version information and exit
Tools:
spacedseed
For detailed information, please refer to the manual of congruence.
Report bugs to <[email protected]>.