shiny-spoon 3-CNF-SAT (toy) solver Procedure for checking satisfiability. The repository name was a GitHub suggestion. There might be an upcoming Rust version (of parts of this repo) which will be called, naturally, rusty-spoon. That name I figured out myself.