/CreuSAT

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

Primary LanguageRustMIT LicenseMIT

Watchers

No one’s watching this repository yet.