# mitchellh/go-sat

<https://repo.masters-masters.com/en/repos/mitchellh/go-sat>

[Home](https://repo.masters-masters.com/en) › [mitchellh](https://repo.masters-masters.com/en/owners/mitchellh) › [go-sat](https://repo.masters-masters.com/en/repos/mitchellh/go-sat)

mitchellh/go-sat has 142 stars on GitHub. Its RepoMasters card: Prototype tier. SAT solver written in Go (golang). Language: Go.

| Field | Value |
| --- | --- |
| Owner | [mitchellh](https://repo.masters-masters.com/en/owners/mitchellh) |
| Stars | 142 |
| Forks | 8 |
| Language | [Go](https://repo.masters-masters.com/en/languages/go) |
| License | MIT |
| Created | 2017 |
| Topics | golang, go, sat-solver, sat |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [mitchellh/go-sat](https://github.com/mitchellh/go-sat) |

## Repository

SAT solver written in Go (golang).

Archived: this repository is read-only

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by mitchellh

- [mitchellh/mapstructure · ★ 8,009 · Go · Stable](https://repo.masters-masters.com/en/repos/mitchellh/mapstructure)
- [mitchellh/vouch · ★ 5,156 · Nushell · Stable](https://repo.masters-masters.com/en/repos/mitchellh/vouch)
- [mitchellh/gox · ★ 4,566 · Go · RC](https://repo.masters-masters.com/en/repos/mitchellh/gox)
- [mitchellh/libxev · ★ 3,601 · Zig · RC](https://repo.masters-masters.com/en/repos/mitchellh/libxev)
- [mitchellh/nixos-config · ★ 3,117 · Nix · RC](https://repo.masters-masters.com/en/repos/mitchellh/nixos-config)
- [mitchellh/vagrant-aws · ★ 2,583 · Ruby · RC](https://repo.masters-masters.com/en/repos/mitchellh/vagrant-aws)

## Nearby in Go

- [StarryKira/copilot2api-go · ★ 142 · Go · Prototype](https://repo.masters-masters.com/en/repos/StarryKira/copilot2api-go)
- [surya-koritala/loomfeed · ★ 142 · Go · Prototype](https://repo.masters-masters.com/en/repos/surya-koritala/loomfeed)
- [446599/ccodex-rotate · ★ 142 · Go · Prototype](https://repo.masters-masters.com/en/repos/446599/ccodex-rotate)
- [kr/goven · ★ 142 · Go · Prototype](https://repo.masters-masters.com/en/repos/kr/goven)
- [foobaz/lossypng · ★ 142 · Go · Prototype](https://repo.masters-masters.com/en/repos/foobaz/lossypng)
- [donovanhide/eventsource · ★ 142 · Go · Prototype](https://repo.masters-masters.com/en/repos/donovanhide/eventsource)

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