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 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 ]

There are no comments on this comment yet.