sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
315 best points · 72 comments · 2 Hacker News posts · 705 GitHub stars · View on GitHub
Hacker News discussions
- CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (315 points, 72 comments, by ingve, 2022-06-17)
- CreuSAT: A formally verified SAT solver written in Rust (2 points, 0 comments, by todsacerdoti, 2022-06-17)