xuanyan0x7c7 / insertionfinder

insertionfinder

General options:
  --version                             print version string
  -h [ --help ]                         produce help message

Commands:
  -s [ --solve ]                        find insertions!
  -i [ --improve ]                      find improvements!
  -v [ --verify ]                       verify cube state
  -g [ --generate ]                     generate algorithm files

Configurations:
  -a [ --algfile ] arg                  algorithm file
  --algs-dir arg (=/usr/local/share/insertionfinder/<version>/algorithms)
                                        algorithms directory
  --all-algs                            all algorithms
  --all-extra-algs                      all extra algorithms
  -f [ --file ] arg                     input file
  -o [ --optimal ]                      search for optimal solutions
  --target arg                          search target
  --enable-replacement                  enable replacement
  --greedy-threshold arg (=2)           suboptimal moves tolerance
  --replacement-threshold arg (=0)      tolerance to insert an algorithm
                                        remains number of insertions
  --parity arg (=1.5)                   count parity as 1/1.5 cycles
  -j [ --jobs ] [=arg(=8)] (=1)         multiple threads
  --symmetrics-only                     generate only symmetric algorithms
  --expand-insertions                   show expanded insertions
  --json                                use JSON output
  --verbose                             verbose

insertionfinder's Issues

Enable merging insertions

Case by running with --all-algs --all-extra-algs --enable-replacement --replacement-threshold=2 on insertionfinder v0.4.18

Scramble: R' U' F L2 F2 D B2 D' R2 D' F2 U' R F2 D L B D' F' D L D F R' U' F
Skeleton: R L D' B L2 U' D' R' U R L2 U' L2 D' L2 D F2 U F'
The cube has 2 edge-3-cycles.

Solution #1
R L D' B L2 U' D' R' U R L2 U' L2 D' L2 D [@1] F2 U F'
Insert at @1: F2 B2 z2
R L D' B L2 U' [@2] D' R' U R L2 U' L2 D' L2 D B2 D F'
Insert at @2: F2 B2 z2
R L D' B L2 U' F2 B2 U' L' D R2 L D' R2 U' [@3] R2 U B2 U F'
Insert at @3: R2 L2 x2
R L D' B [@4] L2 U' F2 B2 U' L' D R2 L D' R2 U' L2 D F2 D B'
Insert at @4: R2 L2 x2
R L D' B R2 D' [@5] F2 B2 D' L' U R2 L U' R2 D' L2 U B2 U F'
Insert at @5: F2 B2 z2
R L D' B R2 U' D' R' D R L2 D' L2 U' R2 D [@6] B2 D F'
Insert at @6: F2 B2 z2
R L D' B R2 U' D' R' D R [@7] L2 D' L2 U' R2 D F2 U F'
Insert at @7: R2 U' R2 L2 D L2
R L D' B R2 U' D' R' D R' [@8] U' R2 U' R2 D F2 U F'
Insert at @8: R2 B2 L2 D L2 B2 R2 U
Total moves: 21, 24 moves cancelled.
Full solution: R L D' B R2 U' D' R' D R B2 L2 D L2 B2 U' R2 D F2 U F'

The insertions 1 and 6, 2 and 5 should be cancelled by each other.

compile failed with gcc8.2.1(20181127)

g++ -std=gnu++17 -DHAVE_CONFIG_H -I. -I.. -I../include -g -O2 -MT main.o -MD -MP -MF .deps/main.Tpo -c -o main.o main.cpp
mv -f .deps/main.Tpo .deps/main.Po
/bin/sh ../libtool --tag=CXX --mode=link g++ -std=gnu++17 -g -O2 -o insertionfinder main.o cli/libcli.la cli/univalue/libunivalue.la finder/libfinder.la case/libcase.la cube/libcube.la algorithm/libalgorithm.la -pthread -lboost_system -lboost_filesystem -lboost_program_options
libtool: link: g++ -std=gnu++17 -g -O2 -o insertionfinder main.o -pthread cli/.libs/libcli.a cli/univalue/.libs/libunivalue.a finder/.libs/libfinder.a case/.libs/libcase.a cube/.libs/libcube.a algorithm/.libs/libalgorithm.a -lboost_system -lboost_filesystem -lboost_program_options -pthread
/usr/bin/ld: cli/.libs/libcli.a(search.o): in function InsertionFinder::CLI::find_insertions(boost::program_options::variables_map const&)': /usr/include/c++/8.2.1/bits/fs_path.h:183: undefined reference to std::filesystem::__cxx11::path::_M_split_cmpts()'
/usr/bin/ld: cli/.libs/libcli.a(search.o): in function InsertionFinder::CLI::find_insertions(boost::program_options::variables_map const&)': /usr/include/c++/8.2.1/bits/fs_dir.h:356: undefined reference to std::filesystem::__cxx11::directory_iterator::directory_iterator(std::filesystem::__cxx11::path const&, std::filesystem::directory_options, std::error_code*)'
/usr/bin/ld: cli/.libs/libcli.a(search.o): in function InsertionFinder::CLI::find_insertions(boost::program_options::variables_map const&)': /home/lane/Github/insertionfinder/src/cli/search.cpp:230: undefined reference to std::filesystem::__cxx11::directory_iterator::operator*() const'
/usr/bin/ld: cli/.libs/libcli.a(search.o): in function InsertionFinder::CLI::find_insertions(boost::program_options::variables_map const&)': /usr/include/c++/8.2.1/bits/fs_ops.h:213: undefined reference to std::filesystem::status(std::filesystem::__cxx11::path const&)'
/usr/bin/ld: cli/.libs/libcli.a(search.o): in function InsertionFinder::CLI::find_insertions(boost::program_options::variables_map const&)': /home/lane/Github/insertionfinder/src/cli/search.cpp:230: undefined reference to std::filesystem::__cxx11::directory_iterator::operator++()'
/usr/bin/ld: cli/.libs/libcli.a(search.o): in function InsertionFinder::CLI::find_insertions(boost::program_options::variables_map const&)': /usr/include/c++/8.2.1/bits/fs_path.h:183: undefined reference to std::filesystem::__cxx11::path::_M_split_cmpts()'
/usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:379: undefined reference to std::filesystem::__cxx11::path::has_root_directory() const' /usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:256: undefined reference to std::filesystem::__cxx11::path::has_filename() const'
/usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:259: undefined reference to std::filesystem::__cxx11::path::_M_split_cmpts()' /usr/bin/ld: cli/.libs/libcli.a(search.o): in function InsertionFinder::CLI::find_insertions(boost::program_options::variables_map const&)':
/usr/include/c++/8.2.1/bits/fs_dir.h:356: undefined reference to std::filesystem::__cxx11::directory_iterator::directory_iterator(std::filesystem::__cxx11::path const&, std::filesystem::directory_options, std::error_code*)' /usr/bin/ld: cli/.libs/libcli.a(search.o): in function InsertionFinder::CLI::find_insertions(boost::program_options::variables_map const&)':
/home/lane/Github/insertionfinder/src/cli/search.cpp:241: undefined reference to std::filesystem::__cxx11::directory_iterator::operator*() const' /usr/bin/ld: cli/.libs/libcli.a(search.o): in function InsertionFinder::CLI::find_insertions(boost::program_options::variables_map const&)':
/usr/include/c++/8.2.1/bits/fs_ops.h:213: undefined reference to std::filesystem::status(std::filesystem::__cxx11::path const&)' /usr/bin/ld: cli/.libs/libcli.a(search.o): in function InsertionFinder::CLI::find_insertions(boost::program_options::variables_map const&)':
/home/lane/Github/insertionfinder/src/cli/search.cpp:241: undefined reference to std::filesystem::__cxx11::directory_iterator::operator++()' /usr/bin/ld: cli/.libs/libcli.a(search.o): in function InsertionFinder::CLI::find_insertions(boost::program_options::variables_map const&)':
/usr/include/c++/8.2.1/bits/fs_path.h:176: undefined reference to std::filesystem::__cxx11::path::_M_split_cmpts()' /usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:379: undefined reference to std::filesystem::__cxx11::path::has_root_directory() const'
/usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:256: undefined reference to std::filesystem::__cxx11::path::has_filename() const' /usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:259: undefined reference to std::filesystem::__cxx11::path::_M_split_cmpts()'
/usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:183: undefined reference to std::filesystem::__cxx11::path::_M_split_cmpts()' /usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:1054: undefined reference to std::filesystem::__cxx11::path::_M_find_extension() const'
/usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:544: undefined reference to std::filesystem::__cxx11::path::compare(std::filesystem::__cxx11::path const&) const' /usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:183: undefined reference to std::filesystem::__cxx11::path::_M_split_cmpts()'
/usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:1054: undefined reference to std::filesystem::__cxx11::path::_M_find_extension() const' /usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:544: undefined reference to std::filesystem::__cxx11::path::compare(std::filesystem::__cxx11::path const&) const'
/usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:176: undefined reference to std::filesystem::__cxx11::path::_M_split_cmpts()' /usr/bin/ld: /usr/include/c++/8.2.1/bits/fs_path.h:176: undefined reference to std::filesystem::__cxx11::path::_M_split_cmpts()'
/usr/bin/ld: cli/.libs/libcli.a(search.o):(.data.rel.local.DW.ref._ZTINSt10filesystem7__cxx1116filesystem_errorE[DW.ref._ZTINSt10filesystem7__cxx1116filesystem_errorE]+0x0): undefined reference to `typeinfo for
std::filesystem::__cxx11::filesystem_error'
collect2: error: ld returned 1 exit status

Support for caret NISS notation

Ahoy! In order to prepare for some cubing ecosystem changes, I'm trying to promote compatibility with caret NISS notation: https://www.speedsolving.com/threads/caret-niss-notation-b-l-u-f2.88529/

Some FMC folks use parentheses, but unfortunately this is incompatible with various cubing software. Caret NISS notation solves this by using a ^ (caret symbol) before any "inverse scramble" moves in parentheses:

^(B L' U F2) // Nice start on inverse scramble
D' B' U B2 R2 // Nice continuation
^(R B R' U R' U2 R B) //F2L
^(U2 R' U2 R' D' L F2 L' D R2) // LL
// From https://fmcsolves.cubing.net/fmc_tutorial_ENG.pdf

I'd like to offer a change to Insertion Finder to accept caret NISS notation as input, which would allow such solutions to be e.g. pasted to and from Twizzle, and shared on speedsolving.com with an animated player. It wouldn't break any existing functionality — it would just allow a caret in front of (.

This seems to be fairly straightforward in the JS code, but I can only find the minified code. If compatibility with caret NISS notation is amenable, Is there a frontend codebase I could contribute to?