# sarsko/CreuSAT

<https://repo.masters-masters.com/en/repos/sarsko/CreuSAT>

[Home](https://repo.masters-masters.com/en) › [sarsko](https://repo.masters-masters.com/en/owners/sarsko) › [CreuSAT](https://repo.masters-masters.com/en/repos/sarsko/CreuSAT)

sarsko/CreuSAT has 705 stars on GitHub. Its RepoMasters card: Beta tier. CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

| Field | Value |
| --- | --- |
| Owner | [sarsko](https://repo.masters-masters.com/en/owners/sarsko) |
| Stars | 705 |
| Forks | 14 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2021 |
| Topics | sat, verification, rust, automated-reasoning, deductive-reasoning, formal-methods, formal-verification, minisat, sat-solver, satisfiability |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [sarsko/CreuSAT](https://github.com/sarsko/CreuSAT) |

## Repository

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

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## Nearby in Rust

- [aws/aws-workload-credentials-provider · ★ 706 · Rust · Beta](https://repo.masters-masters.com/en/repos/aws/aws-workload-credentials-provider)
- [doyoubi/undermoon · ★ 705 · Rust · Beta](https://repo.masters-masters.com/en/repos/doyoubi/undermoon)
- [cel-rust/cel-rust · ★ 705 · Rust · Beta](https://repo.masters-masters.com/en/repos/cel-rust/cel-rust)
- [containers/fuse-overlayfs · ★ 704 · Rust · Beta](https://repo.masters-masters.com/en/repos/containers/fuse-overlayfs)
- [jmdx/TLS-poison · ★ 704 · Rust · Beta](https://repo.masters-masters.com/en/repos/jmdx/TLS-poison)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.