News for hackers. Stuff that matters.

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

Re:CreuSAT: Formally verified SAT solver written in Rust and... by badrabbit on Friday June 17, 2022 @07:58PM (#31786012)
I am actually having to learn about SAT solvers. Is there any newbie friendly resource you think might help?
[ Parent | on HN ]
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 ]