Rare find

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

github.com/sarsko/CreuSAT

Problem

Audience

Updates

No founder updates yet. Check back soon.