CreuSAT: A formally verified SAT solver written in Rustgithub.com/sarsko2 pointstodsacerdoti4 years ago