Fascinating! I am going to try that. I’ve been trying to teach myself SAT solvers and constraint systems to approach the problem at my junior college.