# audemard/glucose

<https://repo.masters-masters.com/en/repos/audemard/glucose>

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

audemard/glucose has 157 stars on GitHub. Its RepoMasters card: Prototype tier. The glucose SAT solver Language: C++.

| Field | Value |
| --- | --- |
| Owner | [audemard](https://repo.masters-masters.com/en/owners/audemard) |
| Stars | 157 |
| Forks | 27 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | MIT |
| Created | 2023 |
| Topics | sat, solver, sat-solver, satisfiability |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [audemard/glucose](https://github.com/audemard/glucose) |

## Repository

The glucose SAT solver

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

## Nearby in C++

- [jrl290/RTNode-HeltecV4 · ★ 157 · C++ · Prototype](https://repo.masters-masters.com/en/repos/jrl290/RTNode-HeltecV4)
- [zgy0x01/QTrace · ★ 157 · C++ · Prototype](https://repo.masters-masters.com/en/repos/zgy0x01/QTrace)
- [google/tpu-sync · ★ 157 · C++ · Prototype](https://repo.masters-masters.com/en/repos/google/tpu-sync)
- [dsw/oink-stack · ★ 157 · C++ · Prototype](https://repo.masters-masters.com/en/repos/dsw/oink-stack)
- [joakimkarlsson/igloo · ★ 157 · C++ · Prototype](https://repo.masters-masters.com/en/repos/joakimkarlsson/igloo)
- [jbenet/bson-cpp · ★ 157 · C++ · Prototype](https://repo.masters-masters.com/en/repos/jbenet/bson-cpp)

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