4 ms·
An Exercise in Satisfiability
- ronmrdechai 7y agoAuthor here, this is the first time I've ever written anything for the internet. I though I'd take the weekend to mess around with SAT solvers and their implementation and then another weekend to write about it. I don't have a blog so this is just a (really long) GitHub README.