splr (cargo): A modern CDCL SAT solver in Rust
Keywords: satisfiability|sat|sat-solver|logic|cdcl|nix-flake|rust