news.volyx.in

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com)

315 points by ingve · 1548 days ago · 72 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.