701_BDm_z3.in - h48 - A prototype for an optimal Rubik's cube solver, work in progress.

	h48 A prototype for an optimal Rubik's cube solver, work in progress.
	git clone https://git.tronto.net/h48
	Download \| Log \| Files \| Refs \| README \| LICENSE

701_BDm_z3.in (15B)

      1 mirrored BD
      2 z3