https://github.com/sarsko/CreuSAT

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

automated-reasoning deductive-reasoning formal-methods formal-verification minisat proof rust rust-lang sat sat-solver satisfiability verification

Last synced: 09 May 2025