sarsko/CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

3 mentions on Hacker News by 3 people: 2 stories, 1 comment · first 2022-06-17 · latest 2025-02-10

Mentions per year 3 mentions · busiest year 2022 (2)

20082026

All Stories Comments Newest Top Oldest

…thub.com/model-checking/verify-rust-std/pull/112/f... [2] Creusot takes this route, here's an example https://github.com/sarsko/CreuSAT/blob/master/CreuSAT/src/so...
comment by gpm · 2025-02-10 · in LIMO: Less Is More for Reasoning