From 3568412f8f230774d0d11d7ed1c897424f95d3ef Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Thu, 11 Nov 2021 21:37:34 +0100 Subject: Rewritten from scratch. Welocme nissy 2.0! --- docs/htr.txt | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 docs/htr.txt (limited to 'docs/htr.txt') diff --git a/docs/htr.txt b/docs/htr.txt deleted file mode 100644 index 7ed4d35..0000000 --- a/docs/htr.txt +++ /dev/null @@ -1,30 +0,0 @@ - -HELP PAGE FOR COMMAND htr - -SYNTAX -htr [OPTIONS] [MOVES|$ID|@ID] - -DESCRIPTION -Finds HTR for a given scramble. DR must be solved. A scramble can be given as -last argument of the command, or an ID of a saved scramble can be provided. If -none of the two is given, a prompt will ask the user to input a new scramble. - -OPTIONS -from {ud|fb|rl} Allows to specify on which axis the DR is. This is usually - not needed, since nissy will automatically find it out. -b=N Specify a bound for the number of moves. N must be a number. - Default value: 20. -h Show hidden HTRs. - Default, if an HTR ending in e.g. R is shown, the equivalent - one ending in R' is hidden. -niss Use NISS. - Default: does not use NISS. -n=N Specify a maximum number of HTRs to be output. N must be a - number. - Default value: 1. - -EXAMPLES -eo n=10 b=7 niss $1 - Finds up to 100 HTRs of lenth at most 7, possibly using NISS, including - "hidden" HTRs, for scramble $1. DR must be solved. - -- cgit v1.3