BetaRare
sarsko/CreuSAT
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
- Owner
- sarsko (personal account)
- Stars
- Stars: 705
- Forks
- Forks: 14
- Language
- Rust
- License
- MIT
- Created
- 2021
- Topics
- satverificationrustautomated-reasoningdeductive-reasoningformal-methodsformal-verificationminisatsat-solversatisfiability
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Rust
All Rust repos- JohanChane/clashtuiStars: 706RustBeta
- aws/aws-workload-credentials-providerStars: 706RustBeta
- doyoubi/undermoonStars: 705RustBeta
- containers/fuse-overlayfsStars: 704RustBeta
- jmdx/TLS-poisonStars: 704RustBeta
- saivert/pwvucontrolStars: 704RustBeta