Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

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 (over 3 years ago)
Default Branch: master
Last Pushed: 2024-04-10T23:27:31.000Z (9 months ago)
Last Synced: 2024-05-22T19:32:00.126Z (7 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: 591
Watchers: 8
Forks: 10
Open Issues: 6
Metadata Files:
- Readme: README.md
- License: LICENSE

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