Speaking of make... A while back I attended an open-source conference (which was a lot of fun). After the presentations, people would "set up shop" at tables

Speaking of make... A while back I attended an open-source conference (which was a lot of fun). After the presentations, people would "set up shop" at tables and jam on whatever was their fancy. One evening there was a person using make as a SAT solver[0]. That blew my mind to be honest. I had used make for years as a build tool and never thought of it in that problem space. This memory isn't relevant to this project. I was just reminded of the experience is all. 0 - https://en.wikipedia.org/wiki/SAT_solver https://en.wikipedia.org/wiki/SAT_solver