Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot
github.com/sarsko
315 points
ingve
4 years ago
72 comments
Loading...
CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot | Heykuki News