🍊 A SAT solver the size of a Satsuma intended for readability and efficiency. - View it on GitHub