# msoos/cryptominisat

<https://repo.masters-masters.com/en/repos/msoos/cryptominisat>

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

msoos/cryptominisat has 943 stars on GitHub. Its RepoMasters card: Beta tier. An advanced SAT solver Language: C++.

| Field | Value |
| --- | --- |
| Owner | [msoos](https://repo.masters-masters.com/en/owners/msoos) |
| Stars | 943 |
| Forks | 208 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | None |
| Created | 2012 |
| Topics | sat-solver, verification, cryptography, cnf, xor, cdcl-algorithm, dpll, proof |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [msoos/cryptominisat](https://github.com/msoos/cryptominisat) |

## Repository

An advanced SAT solver

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## Nearby in C++

- [joaofaro/KCFcpp · ★ 943 · C++ · Beta](https://repo.masters-masters.com/en/repos/joaofaro/KCFcpp)
- [KDAB/KDDockWidgets · ★ 943 · C++ · Beta](https://repo.masters-masters.com/en/repos/KDAB/KDDockWidgets)
- [LeagueToolkit/cslol-manager · ★ 943 · C++ · Beta](https://repo.masters-masters.com/en/repos/LeagueToolkit/cslol-manager)
- [uber/neuropod · ★ 942 · C++ · Beta](https://repo.masters-masters.com/en/repos/uber/neuropod)

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