Search for developments of a box having multiple ways of folding by SAT solver

Open in new window