# shnarazk/splr

<https://repo.masters-masters.com/repos/shnarazk/splr>

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

shnarazk/splr, dépôt open source à 116 étoiles sur GitHub. Carte Prototype de RepoMasters. A modern (trail saving, pre/in processor, LRB, rephrase rotation)…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [shnarazk](https://repo.masters-masters.com/owners/shnarazk) |
| Étoiles | 116 |
| Forks | 8 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | Aucune |
| Création | 2018 |
| Sujets | sat-solver, rust, cdcl, satisfiability, nix-flake |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [shnarazk/splr](https://github.com/shnarazk/splr) |

## Fiche du dépôt

A modern (trail saving, pre/in processor, LRB, rephrase rotation) CDCL SAT solver in Rust, strongly inspired by Kissat

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Rust

- [spronta/crawlie · ★ 116 · Rust · Prototype](https://repo.masters-masters.com/repos/spronta/crawlie)
- [dtDhruv/ytkew · ★ 116 · Rust · Prototype](https://repo.masters-masters.com/repos/dtDhruv/ytkew)
- [QuixiAI/QuixiDesk · ★ 116 · Rust · Prototype](https://repo.masters-masters.com/repos/QuixiAI/QuixiDesk)
- [rust3ds/ctru-rs-old · ★ 116 · Rust · Prototype](https://repo.masters-masters.com/repos/rust3ds/ctru-rs-old)
- [gifnksm/power-assert-rs · ★ 116 · Rust · Prototype](https://repo.masters-masters.com/repos/gifnksm/power-assert-rs)
- [kejadlen/giphy.alfredworkflow · ★ 116 · Rust · Prototype](https://repo.masters-masters.com/repos/kejadlen/giphy.alfredworkflow)

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