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 qorrect on Monday June 20, 2022 @11:04AM (#31811211)
Thanks for this great right up! I am slowly making my way through it :)
[ Parent | on HN ]
Re:CreuSAT: Formally verified SAT solver written in Rust and... by Jweb_Guru on Tuesday June 21, 2022 @09:24PM (#31831008)
You're welcome! Happy to help if you have any questions, as you can probably tell I used to study this stuff in some depth.
[ Parent | on HN ]