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 badrabbit on Saturday June 18, 2022 @04:37AM (#31788212)
Thank you kind sir/madam.
[ Parent | on HN ]

There are no comments on this comment yet.