3 ms·
Author 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 impleme
by ronmrdechai 7y ago
Author 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.