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

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/u_Dazzling_Finger_8120

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarLint - Clean code begins in your IDE with SonarLint
  • SaaSHub - Software Alternatives and Reviews