# sarsko/CreuSAT

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

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

sarsko/CreuSAT, dépôt open source à 705 étoiles sur GitHub. Carte Bêta de RepoMasters. CreuSAT - A formally verified SAT solver written in Rust and verified…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [sarsko](https://repo.masters-masters.com/owners/sarsko) |
| Étoiles | 705 |
| Forks | 14 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | MIT |
| Création | 2021 |
| Sujets | sat, verification, rust, automated-reasoning, deductive-reasoning, formal-methods, formal-verification, minisat, sat-solver, satisfiability |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [sarsko/CreuSAT](https://github.com/sarsko/CreuSAT) |

## Fiche du dépôt

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

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## D’autres dépôts Rust

- [JohanChane/clashtui · ★ 706 · Rust · Bêta](https://repo.masters-masters.com/repos/JohanChane/clashtui)
- [aws/aws-workload-credentials-provider · ★ 706 · Rust · Bêta](https://repo.masters-masters.com/repos/aws/aws-workload-credentials-provider)
- [doyoubi/undermoon · ★ 705 · Rust · Bêta](https://repo.masters-masters.com/repos/doyoubi/undermoon)
- [containers/fuse-overlayfs · ★ 704 · Rust · Bêta](https://repo.masters-masters.com/repos/containers/fuse-overlayfs)
- [jmdx/TLS-poison · ★ 704 · Rust · Bêta](https://repo.masters-masters.com/repos/jmdx/TLS-poison)
- [saivert/pwvucontrol · ★ 704 · Rust · Bêta](https://repo.masters-masters.com/repos/saivert/pwvucontrol)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.