An Exercise in Satisfiability(github.com)
github.com
An Exercise in Satisfiability
https://github.com/ronmrdechai/dimple/blob/master/README.md
1 comments
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.