# crillab/gophersat

<https://repo.masters-masters.com/repos/crillab/gophersat>

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

crillab/gophersat, dépôt open source à 389 étoiles sur GitHub. Carte Alpha de RepoMasters. gophersat, a SAT solver in Go Langage : Go.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [crillab](https://repo.masters-masters.com/owners/crillab) |
| Étoiles | 389 |
| Forks | 24 |
| Langage | [Go](https://repo.masters-masters.com/languages/go) |
| Licence | MIT |
| Création | 2017 |
| Sujets | sat-solver, boolean-formulas, constraint-satisfaction-problem, pseudo-boolean-solver, constraints, artificial-intelligence |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [crillab/gophersat](https://github.com/crillab/gophersat) |

## Fiche du dépôt

gophersat, a SAT solver in Go

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## D’autres dépôts Go

- [msfidelis/linuxtips-curso-descomplicando-o-system-design · ★ 389 · Go · Alpha](https://repo.masters-masters.com/repos/msfidelis/linuxtips-curso-descomplicando-o-system-design)
- [fastclaw-ai/clawhost · ★ 389 · Go · Alpha](https://repo.masters-masters.com/repos/fastclaw-ai/clawhost)
- [saiyam1814/kiac · ★ 389 · Go · Alpha](https://repo.masters-masters.com/repos/saiyam1814/kiac)
- [samuel/go-thrift · ★ 389 · Go · Alpha](https://repo.masters-masters.com/repos/samuel/go-thrift)
- [glycerine/offheap · ★ 389 · Go · Alpha](https://repo.masters-masters.com/repos/glycerine/offheap)
- [Cistern/catena · ★ 389 · Go · Alpha](https://repo.masters-masters.com/repos/Cistern/catena)

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