# msakai/toysolver

<https://repo.masters-masters.com/repos/msakai/toysolver>

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

msakai/toysolver, dépôt open source à 159 étoiles sur GitHub. Carte Prototype de RepoMasters. My sandbox for experimenting with solver algorithms.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [msakai](https://repo.masters-masters.com/owners/msakai) |
| Étoiles | 159 |
| Forks | 11 |
| Langage | [Haskell](https://repo.masters-masters.com/languages/haskell) |
| Licence | Aucune |
| Création | 2011 |
| Sujets | sat-solver, smt-solver, mathematical-programming, theorem-prover, algorithms |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [msakai/toysolver](https://github.com/msakai/toysolver) |

## Fiche du dépôt

My sandbox for experimenting with solver algorithms.

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

## Autres dépôts de msakai

- [msakai/cpl · ★ 181 · Haskell · Prototype](https://repo.masters-masters.com/repos/msakai/cpl)

## D’autres dépôts Haskell

- [Synthetica9/nix-linter · ★ 159 · Haskell · Prototype](https://repo.masters-masters.com/repos/Synthetica9/nix-linter)
- [scarf-sh/scarf · ★ 159 · Haskell · Prototype](https://repo.masters-masters.com/repos/scarf-sh/scarf)
- [graninas/Pragmatic-Type-Level-Design · ★ 159 · Haskell · Prototype](https://repo.masters-masters.com/repos/graninas/Pragmatic-Type-Level-Design)

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