#computer-science

SAT Solvers: An Introduction and Go Implementation

A Hands-On Guide to building a simple concurrent SAT Solver in Go