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: about 1 month 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 (almost 3 years ago)
• Default Branch: master
• Last Pushed: 2024-04-10T23:27:31.000Z (3 months ago)
• Last Synced: 2024-04-11T00:50:25.147Z (3 months ago)
• Topics: automated-reasoning, deductive-reasoning, formal-methods, formal-verification, minisat, proof, rust, rust-lang, sat, sat-solver, satisfiability, verification
• Language: Rust
• Homepage:
• Size: 111 MB
• Stars: 581
• Watchers: 8
• Forks: 10
• Open Issues: 6
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

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