Hacker News new | past | comments | ask | show | jobs | submit | from login

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko) 315 points by ingve on June 17, 2022 | past | 72 comments CreuSAT: A formally verified SAT solver written in Rust (github.com/sarsko) 2 points by todsacerdoti on June 17, 2022 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: