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 k0k0r0 on Friday June 17, 2022 @06:39PM (#31785361)
Another SAT developer here. Most prominently, SAT Solvers are used in the design and construction of CPUs. See the EDA Challenge of the SAT Competition 2021.
[ Parent | on HN ]

There are no comments on this comment yet.