CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
No resources for this project.