# crillab/gophersat

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

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

crillab/gophersat has 389 stars on GitHub. Its RepoMasters card: Alpha tier. gophersat, a SAT solver in Go Language: Go.

| Field | Value |
| --- | --- |
| Owner | [crillab](https://repo.masters-masters.com/en/owners/crillab) |
| Stars | 389 |
| Forks | 24 |
| Language | [Go](https://repo.masters-masters.com/en/languages/go) |
| License | MIT |
| Created | 2017 |
| Topics | sat-solver, boolean-formulas, constraint-satisfaction-problem, pseudo-boolean-solver, constraints, artificial-intelligence |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [crillab/gophersat](https://github.com/crillab/gophersat) |

## Repository

gophersat, a SAT solver in Go

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in Go

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

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