CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
No open issues yet, or sync has not completed.
No comments yet. Be the first to share.