Hi @QuadmasterXLII, you linked my blog in yours! Thanks, I feel honored! I found your blog halfway going through my own rabbit whole. I think had I seen it before embarking into the project I would have just use yours. That being said it is been a fun ride. It's interesting that we both got triggered by "Craig's SAT solver". Thanks again,

Nicolás