SAT Sudoku solver The implementation is based on Martin Hořeňovskýs blog post, but uses Rust instead of C++. The solutions are from Peter Norvigs blog post.