Generate random SAT instances, both SAT and UNSAT.
FT Videos & Podcasts
，这一点在safew官方版本下载中也有详细论述
* @param arr 待排序数组
DECLRMM might work for us - it is approximately what we’re doing by deleting a character on each line when moving horizontally - but it has extremely poor terminal support so I didn’t want to rely on it.