/CreuSAT

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

Primary LanguageRustMIT LicenseMIT

Stargazers