From 0e8d73bb3edcc8bdff6e3ded442b66f68265059a Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 21 Jun 2020 23:01:57 +0200 Subject: First push --- docs/dr.txt | 45 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 45 insertions(+) create mode 100644 docs/dr.txt (limited to 'docs/dr.txt') diff --git a/docs/dr.txt b/docs/dr.txt new file mode 100644 index 0000000..ddbd9aa --- /dev/null +++ b/docs/dr.txt @@ -0,0 +1,45 @@ + +HELP PAGE FOR COMMAND dr + +SYNTAX +dr [OPTIONS] [MOVES|$ID|@ID] + +DESCRIPTION +Solves DR for a given scramble. 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. +If the option "from" is given (see below), it solves DR from an EO (if edges +are oriented) without breaking that EO. +The first time this command is called without the option from (and, to some +extent, also the first time it is called with the option from), nissy loads +some pruning tables that were not loaded on startup, causing a small but +noticeable delay. + +OPTIONS +axis={fb,rl,ud} Specify the axis for the DR. One to three axes can be given, + comma separated, no spaces. + Default: DR on any of the three axis (omitting the option is + the same as specifying axis=fb,rl,ud). +b=N Specify a bound for the number of moves. N must be a number. + Default value: 20. +h Show hidden DRs. + Default, if an DR ending in e.g. R is shown, the equivalent + one ending in R' is hidden. +from {fb|rl|ud} Solve DR from the specified EO, which must be solved, + without breaking the EO. +niss Use NISS. It works only if solving DR from EO. + Default: does not use NISS. +n=N Specify a maximum number of EOs to be output. N must be a + number. + Default value: 1. + +EXAMPLES +dr from rl axis=ud $1 + Finds optimal DR on ud, starting from EO on rl, for the first saved scramble. + +dr niss from fb n=10 m=6 F2 R L B' F D U' R2 L' F D B + Finds up to 10 DRs of length at most 6 from EO on fb, possibly using NISS. + +dr n=100 axis=ud h + Finds 100 DRs on ud, including "hidden" DRs. + -- cgit v1.3