http://yawn.io/2019/08/28/pangrammatic-autograms.html http://yawn.io/2019/08/28/pangrammatic-autograms.html was recently posted here and uses a SAT solver for a

http://yawn.io/2019/08/28/pangrammatic-autograms.html http://yawn.io/2019/08/28/pangrammatic-autograms.html was recently posted here and uses a SAT solver for a similar problem. It seems like that might be applicable here too.