https://github.com/sarsko/CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
https://github.com/sarsko/CreuSAT

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

Last synced: 14 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/sarsko/CreuSAT
• Owner: sarsko
• License: mit
• Created: 2021-08-24T15:59:24.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2025-05-05T21:07:50.000Z (18 days ago)
• Last Synced: 2025-05-05T22:25:09.999Z (18 days ago)
• Topics: automated-reasoning, deductive-reasoning, formal-methods, formal-verification, minisat, proof, rust, rust-lang, sat, sat-solver, satisfiability, verification
• Language: Rust
• Homepage:
• Size: 169 MB
• Stars: 637
• Watchers: 8
• Forks: 12
• Open Issues: 7
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - CreuSAT - formally verified SAT solver verified with Creusot. (Projects / Provers and Solvers)