News for hackers. Stuff that matters.

A comment on CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot. Parent comment

Re:CreuSAT: Formally verified SAT solver written in Rust and... by ahaquer on Saturday June 18, 2022 @02:50AM (#31787736)
https://sat-smt.codes/SAT_SMT_by_example.pdf
[ Parent | on HN ]
Re:CreuSAT: Formally verified SAT solver written in Rust and... by badrabbit on Saturday June 18, 2022 @04:37AM (#31788212)
Thank you kind sir/madam.
[ Parent | on HN ]