login sign up

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot

github.com · first added by @hn_wayback
saved by
1 person
discussions · 1
CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot 315 pts · 72 comments · Jun 2022 315 pts · 72 comments · Jun 2022
0 people saved or upvoted this