# go-air/gini

<https://repo.masters-masters.com/en/repos/go-air/gini>

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

go-air/gini has 157 stars on GitHub. Its RepoMasters card: Prototype tier. A fast SAT solver Language: Go.

| Field | Value |
| --- | --- |
| Owner | [go-air](https://repo.masters-masters.com/en/owners/go-air) |
| Stars | 157 |
| Forks | 19 |
| Language | [Go](https://repo.masters-masters.com/en/languages/go) |
| License | MIT |
| Created | 2016 |
| Topics | sat-solver, concurrent, logic-programming, logic-circuit, resolution, boolean-formulas, artificial-intelligence, verification, testing, fuzzing |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [go-air/gini](https://github.com/go-air/gini) |

## Repository

A fast SAT solver

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

## Nearby in Go

- [MUKE-coder/grit · ★ 157 · Go · Prototype](https://repo.masters-masters.com/en/repos/MUKE-coder/grit)
- [ygivenx/agenthub · ★ 157 · Go · Prototype](https://repo.masters-masters.com/en/repos/ygivenx/agenthub)
- [askie/grix · ★ 157 · Go · Prototype](https://repo.masters-masters.com/en/repos/askie/grix)
- [msgpack/msgpack-go · ★ 157 · Go · Prototype](https://repo.masters-masters.com/en/repos/msgpack/msgpack-go)
- [kisom/gocrypto · ★ 157 · Go · Prototype](https://repo.masters-masters.com/en/repos/kisom/gocrypto)
- [natefinch/godocgo · ★ 157 · Go · Prototype](https://repo.masters-masters.com/en/repos/natefinch/godocgo)

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