CreuSAT: 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/hackernews

Our great sponsors
  • Scout APM - Truly a developer’s best friend
  • talent.io - Download talent.io’s Tech Salary Report
  • SonarQube - Static code analysis for 29 languages.
  • CreuSAT

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

  • Scout APM

    Truly a developer’s best friend. Scout APM is great for developers who want to find and fix performance issues in their applications. With Scout, we'll take care of the bugs so you can focus on building great things 🚀.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts